I would do it

I think (but am not positive) that DR says if you can recoup the “refinance” fees (or whatever they happen to be called) in 5 years or less you should do it.

Over 15 years, that $200 a month becomes $36,000. That’s likely enough to pay off the 20% in its entirety and then some.