Don't know if I mentioned it, but the car wouldn't start yesterday. The auto club mechanic came out and banged the starter (since the battery was fine.) I drove to the repair shop and left it overnight. It started several times fine for the shop. They showed me where the starter was and how to bang it if it acts up again. It will probably need to be replaced, but they're trying to save me about $300.
PA usually complains when I take it to any repair shop because he doesn't trust any of them. He was mildly surprised that there was no charge and they tried to save us a repair bill right now.