How many DC5’s were made?

[RaspyNoise]

Does anyone know how many were made in the Japanese market and how many are left there? Also likewise for the UK market?

anyone with any info this would be great as I could not find any info on this.

thanks