So my son gave me this JD because he moved & started college after being medically retired from Marines. It has been doing great until the other day, I noticed that it stopped cutting. I looked back & noticed that the deck belt had broken. We got another belt from Home Depot but not sure if it will work because, although it's the right size, I've seen posts that say your have to have JD belts. So my first question is that true? Secondly, I cannot figure out how to put the new belt on. My younger son has taken the deck off but it looks like we need to take the drive belt off. Please help! Thanks.