If he's in the top 20, he's getting a butt load more than 57K.
http://bwinpokerblog.com/wsop/2010-wsop-payouts/
28-36 gets 255,242 back.
19-27 gets 317,161 back.
16-18 gets 396,967 back.
For 57K, that would be top 100 - 171, which still ain't a bad payday or showing...