He did say something a few weeks back. 401Ks should be able to pay off primary residence without tax penalty. Not a bad idea given tariff/wall street dead cat bounce. Of course that shit sailed into the '2 Week Overturn Window Of Bullshit Never Accomplished.'