How do you install a 42 deck belt on John deere LX255 Lawn Mower?

One might learn how to install a 42 inch deck belt on a John Deere lawnmower by looking at their user manual. A better route to this may be to take it to a lawn mower shop for repair.