Are people buying coins with the refunded amounts? I'm at a bit of a loss at what to do with the new funds.. Re-invest in BTC or keep the USD and pay off the house

There is really no hardware that has a chance to roi right now, antminer at 1.4 was doable but not anymore.
Depends on your mortgage rate, if it is <=4% i would not pay it off, those are historical lows But if you have a high rate it is worth to pay it off.
You best bet is to invest back into btc given the recent price drop, buy 25%, if it drops another 10%, buy another 25% etc.. i would also put 10% into dogecoin in case this thing takes off, it has a fanatic following other alts do not also its small unit of denomination is an advantage, people are more comfortable/wired to use whole numbers instead of fractions day over day.
Get your hands in all the cookie jars.