Dear Alain — Thank you so much for your response and for reading this. Also thanks for confirming my memories. I tried to discover more about Jeff when I wrote this but couldn’t come up with much, other than his real name was John M. Riedel and he was 55 when I knew him in 1981. He died some time in the last 10 or 15 years, not sure exactly when. But he lived in that building for a long time. As you say, an amazing person to have known.