Starr told me that, and Bennett confirmed it but would not tell me specifics.
Bennett would not give me details, but he did confirm it.
King Juan Carlos I has only used Palacio Real once for an official ceremony.