Is there an equivalent substitute for HYGARD J20D transmission oil? I imagine my local Deere dealer will want twice as much as I want to pay. Looks like my GT235 lawn tractor needs around .5 gallons for a change and maybe it's just as easy to get the OEM. But I thought I'd ask.