I'd only recommend the JD coolant. That's what I got for my X540 to top off the jugI just picked up an X728 and I checked the anti-freeze jug and I don't see any in there. I did not get an owners manual so I was going to add some.
Does it take the green anti-freeze???