The starter motor on my 2003 Jetta TDI just died and I'm waiting for the tow truck. Can anyone recommend a reliable and TDI-friendly repair shop in Austin? I live in Old West Austin (near 12th and West Lynn). (I've heard great things about RunsOnBeer for timing belt replacement, but I don't think he does this sort of routine repair work.)