pretty sure the red is the bulk of parcel R130425000A0001 52.42 acres.

https://www.zillow.com/homedetails/1601-Martin-Luther-King-J...

I measured it out. I think it's the bulk of red, possibly ending at the dashed lines at the right-top. That area going all the way down including the housing development and cutting out both of the substations is 87 acres.

Each of the three marked buildings (assuming the two grey and three white rectangles make up a single building) is 135,000 square feet.