I’d say you won’t really require batteries for something like this, that will mostly be generating less energy than it is expending at any point of time.
Note that I am only suggesting filling the roofs and not the rest of the area around it.

Besides, they most probably have a Double-conversion UPS, so they just need to make a controller that supports a side input channel for charging from the PV output.