I know Ron Paul was running for president, but since he will not get the nomination, will he be running for his seat in Texas?