Here are five things to do in Edinburgh next week, the school October holidays in the city, week beginning Monday, October 16.
