Again, when I first saw one of these with the broken belt, I said one of 2 ways I know to fix this:
#1 use an off the shelf belt and modify as required to make it work- hence a T5 belt and drill the hole for the pin in a tooth- and this works amazingly well and tested on 2 units. T5-330-12 Synchro-Power Polyurethane Belt, T5 Pitch, 12mm Width, 66 Teeth, 330mm Pitch Length
or
#2 make a 3D printed belt, since TPU and other flex material are much more common. OpenSCAD is one easy way to make the CAD design of a printable belt and even could have the ridge. I started on this, but stopped after the T5 belt worked so well and was cost and time effective. I will share the files I started when I get a chance.