A while ago in Mysticon, Martin said Casterly Rock had many gold mines and a theater, but no lifts. Is that credible? If the Wall has one, why doesn’t the biggest building in the richest kingdom of Westeros?