I can replace both VRO’s for about $350. It’s a 1990, so I’m probably going to be doing it at some point anyhow. What’s your thought on just go ahead and replace them? I can also get the complete gasket kit for about $100. So for less than $500, I have all good gaskets, new VRO’s, good...