Send an e-mail to pettirossa at gmail dot com, and I’ll send you Dave’s address.
I talked to him this evening, and I told him about this. He sends his thanks.
As for the box being opened or closed, that comes from a postal employee. However, given that said employee fixes vending machines and doesn’t have anything to do with any actual mail, YMMV. I’ve just always kept the box open just in case.
Robin, I can’t do anything in time for Xmas, but send Dave my best wishes and all that. Also, when’s his birthday? Maybe I’ll be able to get something to him for that, if he’ll still be over there.