Just out of curiosity but why is the pool called the lumbering dinosaur?
I swear it used to be different before.
Checking the pool history, it used to be called "lumbering behemoth". Both are terms Formidable thought she was being called by Carabiniere in the Chinese version of Empyreal Tragicomedy, 庞然大物 "behemoth" and 肥恐龙 "fat dinosaur" (At least according to Google Translate, I don't speak Chinese). Probably somebody thought "dinosaur" sounded better.