An Early hand from the WPT Bad Boys last night

[SossMan]

6 player sat. for a 25k seat to the 2005 WPT championship.
Lineup is as follows in order from seat 1 to 6:

Scrub Bank Teller amatuer who won a contest
Antonio (the magician)
Devilfish
Paul Darden
Gus Hansen
Phil Laak

The following is very early (maybe hand 3 or so) and everyone has their starting stack of t250k.
Blinds are 4k/8k antes 1k

Preflop pot = 18k

Folded to Antonio on the button w/ devilfish and darden in the SB/BB.

Antonio raises to 24k w/ Q6o.
Devilfish reraises to 64k.
Darden folds.

Does anyone think antonio should push here, given this set of circumstances?