I am installing a new water pump tomorrow and was wondering if I should use a sealant on the gasket. The old one didn't look like any was used. If I should which one. Permatex, Yamabond, Indian Head? Any anti seize on the bolts? The studs were easy to remove except the top passenger side...