the mechanic was not the earlier one that replaced my water pump ($400)
but i decided to take it to my mechanic since all the crap these street mechanic put me through. he's a good guy, and I've been to him several times.
as far as the plugs go and leads go, he said he did replace the plugs, but...