Somebody is retiring very, very well I bet.
Investigation would show a lot are ex-pats. I knew an IRS agent who retired and moved to the Philippines. No telling how much he took with him.