I'll have to think about contacting him. Back at the turn of the century he was always very easy to contact and "talk" to but now he is even more busy I guess, or worn out, but busy looks far more like it, and I hesitated to bother him over something not too important.