Yeah, and while one's "work friends" may not be the perfect kind of friends (otherwise they tend to migrate to being "regular friends", no?), they have on important property to me: they're around during work and they punctuate work with social/human interactions. Sometimes those interactions are annoying and disrupting, but my god I'm realizing how incredibly important they are.