I replaced my 07200023 deck belt earlier this season, and while I was under the mower I also checked the idler arm and tension spring. Even if the spring is the failed part, it's worth making sure the idler pivots freely and the pulleys spin smoothly before putting everything back together. It...