4 ms·

I corresponded with one of them for a bit about fifteen years ago, but it petered out as we ran out of things to say. They were extremely polite if reserved.