You are probably the only person on here with that kit. Doubt anyone on here would have that information. What you can do is use a piece of string and wrap it around the pulleys then measure the string. Belt part numbers usually tell you the size of the belt and how many ribs.
Can I get some pics of your setup?
Can I get some pics of your setup?