They were originally offered where the penny postcards were as you walked inside. They sold for 25¢ (1951).
Nice seeing them again.