Being a 10mm diameter pulley drop, I would try the stock belt you have sitting there first and see how the tensioner marks look. If you are out of spec, usually the smallest drop in belt length is about .5".