Just take the current belt number and increase the digits.
e.g. 5PK1113 is a 5 ridge belt at 1113mm length.
just search for a 5pk and gates and you should find some pdf pages with belt lengths.
Just found a 5pk1115 but I guess you need a bit more than 2mm.....
