> the largest fraction of which is probably their house (so not income-producing)

Roughly 1/3 of Boomers also have private pensions (remember those from before the 2000s?). Social Security is about 25K USD per year. It is expected to only cover 40% of living costs. It is scary how many retired Americans live only from Social Security in their retirement.