When should I change the hydro oil?

I had my dealer change the hydro oil at 250 hours. The mower now has 777 hours. When should I have it done again? It's a 2011 Exmark 72" X-series with a 34HP Kolher.