I don't remember what's necessary to check an 02 sensor - I'm sure they could check it at the mechanics - They can check the voltage - maybe it's just reporting incorrectly.

And on a sidenote I got 33mpg on last commute - 33X miles on 9.89 gallons - I dig it. 78mph on the cruise and some city driving(maybe 20 miles of that)