To answer the *new* question, my experience is that either [email protected] or [email protected] get sent to the guy.

I have written him letters from time to time at the [email protected] address and have usually received responses from [email protected], so both work but I think the latter is more current.