Thanks for the replies guys. I do have a John Deere dealer near me, so J20D or J20C would be an option. The manual for my machine calls for either UDT or SUDT, so I think the Champion product would meet what was originally specified for my machine, but that doesn't mean there's not something...