If $100K is hard to come by then sell the games.
If $100K is easy to come by then keep the games.
Don't worry about pin prices skyrocketing. The increase in pin prices on 15 games is nothing compared to 360 months of interest.
I always laugh when folks say to invest instead of pay off your house. Investing includes diversification. Diversification includes bonds. Bonds are debt instruments. Mortgages are debts. Bond income is a dividend. Dividends are taxed as income. Mortgages are no longer tax deductible. Why pay a dividend to your bond holder so you can buy bonds with a lower dividend?
Buy your own bond, pay off the house. Guaranteed ROI with 0% tax. Plus in retirement you can pick your bracket since you're not forced into realizing income to pay that bond off, I mean mortgage
Of course max out 401k, Roth if MAGI allows, too. But when talking taxable accounts, a paid off mortgage is a good one!
Disclaimer. I'm an idiot
PS
Money only matters if you need it. The less you need money, the less you need money.