4.25 is pretty high. I’d pay

[gzz]

4.25 is pretty high. I’d pay it down with all that extra cash.

I’ve sold a lot of stocks and the ones left mostly have 150%+ gains I don’t want to pay tax on.