If I was you, I'd pull one of each of the "good" belts and either measure diameter or circumference and order a couple test belts from Marvac Electronics around the size you think you need:
https://marvac.com. Their ebay store is here:
https://www.ebay.com/str/marvacelectronics. Once you know for sure what sizes you want to use, then you can order multiples of those. Most of their belts are measured by the circumference and the thickness they claim is actually accurate, unlike a lot of the universal belt kits. Universal belt kits from places like
Amazon could probably work.
If you don't want to hassle with measuring and trying things, I'd go with the KPcomponents kit, though not sure what international shipping is like since I believe they are out of Canada.