"
Addendum: royal.gov.uk used to have a feature whereby people could write in with questions. That seems to have disappeared, but there is contact information for the Public Information Office under the 'contacts' link from the main page there. Perhaps someone more local to Buck House could ring them, ask, and see whether they'd be happy publishing such information on the website so we could then use it as a reference. I'd rather not inflate my phone bill with transatlantic phonecalls. →  ₪ "