I see, thank you, Cheeky. They should rent it out, then and put as much of the income from that into programming for the remaining channels.
BBC A is the main problem, it can't be rented out. If the space isn't used the BBC will be accused of wasting resources. Catch-22.