Great that you have a great place to work :) I think the people really do make all the difference. I can and have tolerated crappy upper management (as long as I didn't have to listen to them or deal with them for longer than 10mins) purely because the colleagues were great. And been really lucky that I haven't had to deal with the reverse x_x
I remember J explaining to a friend of his who thought he was obsessed with money that he didn't like money, he just didn't like not having it, and he has turned down numerous jobs that would have given an appreciable pay bump because they wouldn't let him work from home or mandated vaccination, and according to him we're too old to care about chasing money and lifestyle is much more important now or something to that effect XD