I went to my dealer to get new hydraulic/transmission oil. Drained out the old and pumped in the new. Then realized that the oil he gave me is labeled only "Hydarulic Oil" It has a Yanmar # of YGHF46. Soes anyone know if this is the right oil, or do I need to do another change to get correct?