Hi, I want to have a spare drive belt in the shop but can't find the outer circumference of the drive belt-does someone have that dimension? TIA