Thanks to all who responded.

It turns out the shop has the Bosch LED tool, but says he's never had any luck with it (always leads him down the wrong road.) He replaced the relay Steve mentioned about a month ago and the light went out. The customer has since... Login to read more.