.. correct, a good old fashioned non-AI mis-googling error. The castle barracks is the "New Barracks", so called because it was built in 1799, and I saw the blocky stonework construction and went "close enough". Sources are a bit vague on how currently used it is. https://edinburghtourist.co.uk/questions/who-lives-edinburgh...