RON PAUL: Worth as much as $5.2 million.