BTW, my co-worker confirmed that the Friday of next week will be his last
day. Once he leaves, it's going to be very unlikely that I will go into
the office again -- probably only to repair the computers at my work desk
if they need fixing.
It's possible that my ex-co-workers and I will have a lunch or something,
'tho -- yet unknown.