I bought the yellow and grey one at the gift shop in June, they were out of the red one. I couldn’t find them on El Cortez’s website, thanks for confirming they are out. Hopefully someone has a spare.