I agree with your words that although having friends at work doesn't make the work easier, it gives you a positive mental condition that helps you do your work with more energy, strength, and patience. Since you find rest, peace, and laughter with each other. I used to have a group like that back in college and I was also very happy to be with them.