So, I went to my manual, looked up the proper part number, referenced that, and that returned the part number for an 84" belt. I ordered an 84" belt, but I can see no way that it will fit, much less fit over the back pulley edge.
I have dropped the tensioner, and I see the engine has some...