Took to dealership. They kept it long enough for the engine to cool down, did repair, and said it should be end of problem. Only surprise was they said it needed "two air filters' cost about $120...said co that did our oil changes wouldn't know how to check the filters and couldn't get the filters if they did....does that sound right?

Thanks!