damn. i know they used OEM coolant, because i watched him put it in. i also know that the original water pump has a plastic impeller, and 2 of the blades were broken. mechanic said that they're still somewhere in the system, but that it shouldn't be a problem.
i'm not the most handy person in the world, but i would have done the job myself if i had a garage.
live and learn i guess. also yes, i am in the bay area
