I imagine each employee crunched their own numbers using their own salaries and compared notes.

I’d trust a group of employees doing this out of curiosity over, say, HR doing it.