The closest model I can pull up an IPL for is a 2018 model. Can you link us to the IPL showing the 88" belt as the one I got is a lot longer belt. But you may a double belt setup.
View attachment 64025
And yes many times on mower decks the idler pulleys have to be loosen up to get the belts pass the belt retainers.