Was shorter than I had thought.
In all seriousness this was an easier DIY than I had expected and wont hesitate to do it again.it can be a bit messy if you ride your belt to failure like I did, but overall I had it done in under 2 hours (caveat, I have an air powered impact wrench for disassembly, though I think o could do it with a breaker bar nearly as easily.)
I see lots of people make special tools for holding the variation to torque it.. I used a block of wood and it seemed to do the trick.
Now, what is the maintenance interval on one of these belts. "Forget about it" is not the right strategy.. I think I had around 15k miles on this one.