Where do I find a belt for my DCC170 / DCC134

Hi

I have a DCC170 and a DCC130.
Both have stopped to work.
I opened the DCC170 as shown in the excellent video about changing belt.
The belt was so stretched so nothing moved when motor rotates.
I need to get a new belt.
Where do I buy a new one that is of good quality.
Have searched in Ebay but the belt they have is quite expensive.
I do not know if they are of good quality.
Do you have any suggestions where to buy?
I am ready to pay more if I know it is of good quality and the right specification.

Regards
/LG

We have all the belts as well. We only provide them to patrons of the DCC Museum