Regardless, as About:Blank points out, whether it's officially called the Full Moon Rising Hotel or not, it will probably be referred to by everyone as "that Death Star Hotel."
Independientemente, como lo señala About: Blank: ya sea que su nombre oficial sea Hotel Full Moon Rising o no, probablemente será conocido por todos como “ese Hotel Estrella de la Muerte.”