The implication of my post was that if there was something about his current job that made him really, really happy, he didn't necessarily have to even look at the other job.

Getting a modest raise frequently happens, but doubling your salary in one career jump is pretty rare. Doubling a salary is too big of an increase to ignore for most people.