Intersesting, based on serial numbers there are over 1000 of these. Quite a lot, I am thinking.