Ordered the pulleys! Hope they are as they described... Delivery date: sometime in mid-late August.
Went with 2 3M48T 16mm wide pulleys, one with 14mm bore and the other with a 10mm bore and a step. For the encoder installation, I got a 2M60T 7mm (6) wide pulley with a 14mm bore that mounts over the M1.5 60T gear, and a 2M40T 7mm wide pulley with 6mm bore for the encoder. Both of the 2M pulleys are without step. Now I have to figure out the belts. I suppose from the drawing I could figure out the belt length. Phew, getting a mental workout. I find this stuff difficult.
So the distance between the 3M48T pulleys is 121.12mm. The approx inner diameter of the pulley is 45.08mm. So roughly the belt should be
2 x 121.2 + pi x 45.08 = 383.86, or 384 or 385, give or take. For the 2M pulleys, for the encoder, I have more degrees of freedom, because the shaft location distance isn't tightly controlled...