You'd use a belt that has approximately 3mm pitch, up to 9mm wide. That's as much as we can tell you without knowing what profile is. That's what really differentiates the belt/pully types. Here's an illustration as to many of the common profiles: [
cdn.instructables.com] Hopefully you can match it up to one of them.