I'm about to dump my second application of auto rx in my jeep. I was going to use dino oil for the rinse as per the instructions, like I always do...however, I just scored a huge pile of Havoline synthetic for $1/quart. Would it be that big of a deal to use that instead of dino oil for the rinse?