Earlier quoted context omitted.
Oh yes, thanks for reminding me. I’m going to cash out the 401(k).
You’ll pay massive penalties on that, another option is options (heh) but I’m not finance-literate enough to know how to pull it off.
The thing is, every dollar you spend on insurance is a dollar (and its interest) you lose. Furthermore, we don't know when it will pop. 1 year? 5 years?
The more reasonable solution is probably gradually reduce exposure to US markets by selling SP500 shares and turning to Europe and emerging markets ETFs. No need to cash out 401k.