>>10942210Oh ok, thanks.
Indeed the helmet has the first design (the set is from 1984). I also have another blue spaceman (from 1988) with the third design and it has the LEGO logo inside. No doubt it was original, I bought one with booklet from a seller with hundreds of vintage sets, I was just curious.