House renovations or BTC

Hey everyone.

I would like to firstly say thank you. You have all made DCAing and this bear market quite enjoyable. I wouldn’t be able to do it without your hilarious comments, memes and wisdom.

That being said, I’ve been able to hodl a decent amount of BTC. I will likely buy for the rest of my life as it is my preferred money.

The problem I’m facing right now is that I might be buying a house soon. My wife and I have $10,000 for renovations, however, we would like to do more work on the house. Would you, if you were in my shoes, sell BTC to fund some of the Renovations? Im not talking all or even half. Just enough to have a bit more cash ($5000-8000).