ALL IN for 9,725,000 at Five Diamond World Poker Classic