“It would have cost at least £80 million to renovate the Palace Theatre to accommodate ROH productions, and at least £1.5 million a week to house the companies and stage performances. Nor was it was ever clear that there was any genuine call or need for such an extravagant venture.”