No. (Pretty sure we didn't)
We had a green version.
They DID sell these though!
I have an original - they are very rare!
Was going to sell it, as I have done with a lot of my old stuff - getting in before retro ranges released... Price just evaporated now!... Cheers Doug!!