Tidman, Michael J, Royal Infirmary of Edinburgh, United Kingdom