You're telling me they discovered an "ultra-cool dwarf star" and didn't immediately name it Dinklage?