Not as easy as I thought to find timing belt pulleys and belts. What width belt would I need to drive this? I see XL, L, HTD, etc. - what do you guys typically use?

Thanks,
Wallace