That seems plausible; I don’t work there. I think that further supports the argument that “10x engineers” are not paid 10x.