Thanks for posting this, it made a good placemarker at the Intrade thread.
Is Intrade still trading Obama options? I am not sure what you are saying.