The idea of starting fresh out of school at a company for $130K, doubling up to $250K seems to me ludicrous, besides for a rare few outlier roles at a rare few companies. I can say I've got close to 20 years of experience and I don't make anywhere close to that.

Not saying there are no roles like this--just saying this probably several standard deviations from the mean, and not useful as a "back of the envelope estimation of big company tech salaries in general"