06-11-2007 21:29 UTC-7 Devin Porter Doubles Up With Pocket Kings [user38420] Devin Porter doubled up after his pocket kings held up against his opponent's pocket nines. After the hand, Porter was up to 40,000 in chips. Tags: Devin Porter