Hydraulic Oil in Exmark Navigator.

I bought a used Exmark Navigator. The manual says to use either Exmark Hydro Oil or Mobil 1 15/50
As I don't know what is in it now is it OK to mix the two. I would like to top it up.

Regards

Fred. M