We are having a short break in Edinburgh at half term. DS2 is 16 and while I think we can find plenty to see during the day I am not sure about evenings. Any suggestions please for evening entertainment?