My friend has 9000 seals chips, what's the quickest easiest way to get that into real money? We really only started playing because he missed online poker, but it just so happens he's pretty good at poker, and we never really knew anything about bitcoins prior.