Any recommendations for a good VW mechanic in the downtown Seattle area ? My friend lives there and has an MK7 gti and needs some work done