This isn't worth starting a new thread for, but I was thinking if the translation of the hotel just auto-translated the etymologies of all the names as well-- and it made me laugh to think of.
Asterion gets literally called "Little Star" at all times.
Brash American Gryphon introduces himself: "Howdy y'all I'm Light! Not to be confused with the murdertwink with the book."
Got a huge imposing Grootslang accountant called... Faith. uwu
Khenbish has a Mitski song all about him...
Storm is... Storm...
(I dunno, it was funny to me, at least. Hahaha)