one of three red boxes in edinburgh`s grassmarket