German Auto Service is a different garage than Bertini's. I don't know the history of the mechanics, so your references are lost on me.

FWIW, here's the link to German Auto:

http://www.german-auto-service.com/