Now that you have brought it up I wish I had asked him this very question. BTW - he died in 2004.
Greg Biggs