Has anyone ever replaced the drive belt on a John Deere 125 riding mower? (not the mower deck belt but the drive belt). The dealer says its a 3 hour job (I find that hard to believe) but I can't find any videos on YouTube or anywhere else that shows how its done. I have all the time in in the world, a great workshop and tools up the wazoo but would like to know what I'm getting into before I start. Some things are worth bitting the bullet and letting the dealer deal with it (especially if special tools are needed). Any help would be appreciated.