3 ms·

I get it though, a bit of mingling is good for morale and most people are pretty nice. But.. if socializing is important why not do it during office hours?