20mm seems like a good idea. I've encountered many smaller belts that use 15mm. 20mm seems tight enough, yet conservative to protect the bearings.