Which alcohol to use?

I'm going to mix up a batch of vinyl cleaning solution for my record cleaner, a Nitty Gritty Mini-Pro, using the VPI additive. Others have recommended that I also add 10ozs of alcohol to the mix to help the fluid spread more evenly.
My question is, is it okay to use a pure grain alcohol, such as 'Everclear', as opposed to isopropyl? Would the grain alcohol damage the vinyl in any way?