Stanley Knight

Hi I’m thinking of buying a tdr125 from Germany and somebody told me that they are restricted to 80km/h just wondering if this is true? If it is true how do I remove the restriction