Getting ready to do 50 hour service on my ck4010se with hst. Still debating about to change the hydraulic oil or not. Already bought 5 gallons of Mobil delvac. Manual says 5.3 gallons. Cant seem to find any more local and cheapest I can find online is Summit 2.5 gallons for about 52 shipped. Wanting to know how much oil actually drains out with the change? Seems like there would be more than .3 gallons in the pump and the lines. Thanks