I have a 575 that needed the rear pump repaired and the coupling to the engine replaced. I finally got that done, but I have been using a book for a NH skid steer, and am not sure what oil I would use for the John Deere. Any help would be great. I do not need a lot, just enough to prime the pump I had apart. Thanks