Im not sure sid, all i know is my old stock belt is between 16.5 and 17mm wide now as its worn and is much better than an 18mm or 17.7mm wide belt cos i tried them.
its free anyway so im going to try it. 17mm seems perfect for my setup. Let you know how it goes, if it doesnt work no prob, i can order a different one next time.