Way back in the day, I used a little red bottle of Discwasher stylus solution that came with very cool little brush with dense bristles...I still have the brush. The whole thing cost what, 5 bucks? Question: do we have to spend the $25 for a tiny tiny bottle of stylus solution or can we simply use 100% IPA? Same question for vinyl cleaner for use with the VPI 16.5 record cleaner. The instructions say to only use the VIP solution but some folks say mix IPA with distilled water. Comments much appreciated.