while Bianca's snickering: you can also be good friends without particularly enjoying one another's company.
i don't imagine they make any point of getting together to spend time together outside of work, but that doesn't have anything to do with it either, as i define "friend".
(just curious: how many of us have known *anyone* for 57 years or whatever it is? i don't think too many of us can even imagine it, really.)
"What do you want - what?!"
- Keith