Hello. I recently acquired a Williams Hussey molder, model No. 154 given the serial number in relation to the manuals provided on WH's website. The electronic manual specifies gear oil from WH or "straight mineral 80-90 gear lube" for short-term use. In the description of the oil sold by WH online, it says the machines ships with Mobil Mineral Gear Oil, 600XP 460. What do you all use as gear oil for you WH molder? Thanks!