I'd have gotten his attention on the server I go on occasionally, since he's usually not idle on there for whatever reason.
Sadly, I can no longer connect to Espernet due to port blockings from my ISP at this time, so I'd have no way to knowing anyway.