The latest gallon of Gojo Natural Orange Pumice smells I bought smells like kerosene and leaves an oily film after I rinse. I noticed that the ingredients no longer say 'mineral oil', but 'petroleum distillates'! Did I buy the wrong product, or is this a new formula? This formula might work well for the shop, but now it is useless in the home. Where can I get the 'mineral oil' version? I've been using this stuff for years, but now must I switch to Fast Orange?