Will mineral oil from the drugstore ("intestinal lubricant"... eewwwww) work fine, or should I go find something for industrial applications? Outside of a drugstore the smallest container I could find was a gallon (incidentally, for the same price as the little 3oz bleed kit)!