Hello there, I bought some of these drive belts from a Mike Jardin
in California <mxjardin@comdisco.com>.  As I recall the price was
reasonable (around $8?).

Best wishes
Gary Dale