Sad to report John Hall whose career at the Royal High spanned three decades died in May this year. His obituary appears in the Scotsman. See http://news.scotsman.com/reallives/Rugbymad-PE-teacher-John-was.4072846.jp
Thanks to David Robertson for passing on the news.