Edinburgh castle, still headquarters for the Scottish military.