Every second your $25k is out of the market, it's out of the market. With the wild runup of late, you've "lost" quite a bit. You can either jump back in the market by paying it off now or wait until the after the impending market dump. That would be market timing, which is a big no-no. It would also require a crystal ball, which I do not have handy. (Don't worry, I am not saying "Top is in." I really have no idea.)
What I do know is that many of these loans are callable upon separation from your employer. I once borrowed $6k from my 401k as a bridge loan between a home purchase and home sale. I made a killing on the second property, but damn, I felt like an indentured servant for every second of the nine months it took me to pay back the loan. It totally sucked. You can't even think about getting another job.
That's why I advocate paying it off and never doing this again. I still wish I'd swallowed my pride and asked my parents for a loan. But they're gone now, and I'm FIRE, in part because of that RE transaction. I still consider it my biggest financial mistake.
What I know for sure is that YMMV. Good luck, whatever you decide.