This is the “before“ video (mostly, I had already changed the antenna at this point), I will do an after video later. The used belt seems to be holding so far, but I still need a replacement for my 6001, so if you know where to buy these cheap, please let me know!
The specs of the belt are: 51 teeth, 3MM wide, 5mm Pitch