Is Hank Scorpio's lair smaller

I bought Hank Scorpio at the start of this event due to the awesome discount. Is his lair much smaller than it used to be? I could have sworn it was much bigger when I visited neighboring towns that...