Chip leader @9:17 EST according to WSOP.com.