Does anyone know how many left hand mk1 tx200 were made?