Update update. Shop could not find anything wrong and they did not find a current error code. They tried to charge me $115 for looking, despite my extended warranty. We settled, without much hassle, for the $50 deductible.