Just on a quick technical point, would I be right in thinking that this "extension" would be built under PDRs, or would they need to have got approval from the local worthies before going ahead?
£14m sounds much better value, and much more use, than a certain other "public" building in Edinburgh I can think of.