No but he’s also not borrowing against his 401k? You and I can also go and borrow against stocks held in regular accounts? https://us.etrade.com/bank/line-of-credit