They are the "other guys" model. Unpainted, new in clear little plastic box.

As a bonus, I have six sets of matching brass etch rotors from GHQ. The original rotors are too fragile for wargames use, so you need GHQ ones.
That makes them worth $9 dollars each if you were to buy them new. However, they can go for $50 including postage to Europe (slightly more to the US).
Please PM me for details.
Here are my painted ones as an example (not for sale):



Please PM me for details.