Some forward progress - I found a pulley in my junk collection that I could modify to get the belt drive going.
But, that bit of good luck is balanced out by a bit of bad luck - there is too much backlash in the belt drive! It's a 3/8" wide 0.200" pitch XL belt. The belt is MORE than tight enough - enough so that it's not easy to assemble the drive. Yet there is MUCH more backlash than with the arm mounted directly to the gearbox. The belt actually moves within the pulleys, so either the teeth on the belt are too narrow, or the grooves on the pulleys are too wide. Either way, its not acceptable, so the belt drive will have to either use a different belt profile (like GT2), or be removed entirely, which is a bit of a complication.
Regards,
Ray L.