well, i did it today.
took me 4 hours, the service manual added about 2.5 hours to it...
I have a parts 25500 that I took off the belt and replaced onto my other 25500, the menu had you take off the back cover and the top cover. unfortunately i did it to both machines and realized when i got to the actual belt replacement you didn't need to waste time on the top or back cover.
if i ever had to do it again, i could do it in under an hour.
back to printing!