Turns out that my two identical belts weren't identical. These should both have been 10x813 belts, so the 713 needs to be exchanged. Annoyingly the supplier didn't have one in stock so a return visit was necessary the following day.
Small issue in the scheme of things, but nevertheless irritating.
