Last night I was mowing up a hill when the mower stopped moving and rolled back down the hill. After investigating I found the spring on the drive belt tensioner had come off. Has anyone heard of this before? First thing I thought of when it wouldn't drive was the pump had gone $$$$$$.