I'm fascinated that at a 175k employee company, two employees I know nothing about, in business areas or positions I know nothing about, could possibly use different tooling for their day to day duties.
*Surely* at your place of work, the cleaning staff is familiar with the CTO's dearest tools and vice versa?