If it were me...and its not... I personally would pay on my original loan. Of course we typically bank points at the end of the year so I don't usually need all my points right away. And 25 points won't get you too much more use anyway. A couple of studio nights, or a 1 BR night or partial night in a 2BR.
Heck, since I am sure you already have the loan figured into your budget, you might just as well pick up a few more points. 25 points here and 25 points there really add up!
In all seriousness, only you know the right answer to this question. I just have never been one to go with the majority I did a mixture of payments and points for cash during my point buying days. I am retired now, and they are all paid off and life is good!