Be warned though - the VEXPro/WCP 9mm HTD belts are actually 8.5mm wide so that two of them can fit on a 15mm wide pulley (that's in reality 17mm wide). Two SDP-SI 9mm pulleys will be 18mm wide and may not fit on a VEXPro/WCP 15mm wide pulley.