At 5.2%, with how strong the market has been I’d lean towards saying to pay it off, especially if you’re older. A GUARANTEED 5.2% isn’t bad. Had it of been ‘09-‘12, I’d be singing a different tune.
There’s tons of arguments either way, but that’d be my safest bet with the limited information in your thread.