I've got some German friends coming over to Edinburgh for the marathon next week and one of them wants to try haggis. They're staying at Seaton Sands and I was wondering if anyone knows a decent place to eat haggis?