I believe the shell of the building is in the 11,000 square foot range, although I wonder if it would be possible to combine the BfE building and the old Castle O’Sullivan into one space.
View attachment 25640
It's always possible presuming the way they may have built a firewall and/or load-bearing supports aren't in a position to where it'd be more effective to demolish and rebuild.
However - having seen the idea been done several times, it's quite possible they could retain the facades but demolish the buildings to make way for either a much larger/better organized building for an attraction/restaurant or to do another launch coaster.