Where did Christopher Johnson wind up?
Ummm... good question. The REC, I thought, but it appears not. I do not know (remember).