Synthetic Rotary vacuum pump oil vs. Mineral Rotary vacuum pump oil