We are debating whether or not a domain name is the right of someone that didn't pay for it. Trademark law or not, it is first come first serve.
Okay so, they can recover the website and apply it to a different domain. However, their initial work was put towards the availability of the content that the name ronpaul.com had to offer and not some other ().com. So, how is it fair to expect them to reap the same benefits from a different domain without just compensation(the 250k that they are asking)?
Love thy enemy.