Not a bad sensor. Not really much you can do about the gas mileage. That simply is one of the cons to the engine design. New they averaged 14-18 at best.
With as many miles as there are on it, that MPG is actually reasonable.

Once you get the head gasket replaced and give it a general tune-up (if you have not already) you should be back to 12-15 range.