If I search for "pandora" at GoDaddy, pandora.info is marked as a "PREMIUM" domain, for sale for USD $395.
Oddly, if I filter for domains of 7-characters or less, nothing shows up (including Pandora.info, which is exactly 7 characters, which is visible when there are no filters!). 🤪