Normally, it would be a bit scary to sell 1/4 of the stash too early.
But at 57, it's a different story. Good luck, you did the right thing!
depends on where youre at in life. im in my 50s and everything is paid off already aside from a few years left on my geothermal loan and a solar setup going in this summer..
i hope to cash out up to 1/3 of my stack this year and put it into stuff that gives enough dividends to pay for monthly bills for say 4 years. this will give btc time to get to decent levels (hoping 40k+ USD) because at that price the other 2/3 will set me up for life very comfortably.
if it tanks, oh well. i do have other assets that will still allow a comfortable living, so im covered either way.
guess the point is if you can sell some of your stack now to buy enough time for btc to rise (if we are in the crypto winter it may be several years for the price to recover to 20k+ again) its worth the risk of cashing out say 1/3 of your stack. calculated risk, but it allows me full retirement now. if it fails, i can still retire fairly comfortably, but if it moons my retirement will be VERY comfortable indeed.
buying some time for btc to recover seems like its a fairly good plan to me, but i do have a decent Plan B also.
oh and @Arriemoller, good on you for retiring

seems like a good risk to me.