Actually, it was cleaned most satisfactorily by the garage that did it - I'm just a DIYer who wants to save a little $$ the next time it is needed.

regards,

Chris