BG-
Interesting theory about folks tapping their retirement funds so credit scores be darned.
However – the reality is that the vast majority of boomers don’t have enough saved to fund their retirements, let alone have enough extra to pay cash for a house on top of providing an income stream.
Your scenario would only apply to a small number… and that number is made up of people who were aggressive savers… so likely to be more financially savvy, financially responsible… and therefore less likely to be in the short sale scenario in the first place.