The Mercedes-Benz dealer in Denver just called.
They scheduled our car maintenance (and replacement for the part broken in the hailstorm) for Friday, September 13.
Friday the 13th seems like a good day to get car service.