The dealer visit was to reset the "check engine" light. He has the tool for the maintenance light, but not the check engine. The cause of the CE light was failure of the O2 sensors. That part of the visit seemed reasonable.