I reached out to historian Christopher Andrew, hoping for some leads on tracking down the death of Robin W.G. Stephens.