We are (finally!) taking a week's holiday north of the border and want to visit Edinburgh 10-15 September. Any hotel recommendations? Does not have to be in the city centre! Hugh