I've never played intrade's markets, so I don't know how liquid the contracts are... but there is an arb play here if you can time it properly.