Don’t use 'EST', at least in PHP 5.3.3 it’s the same as 'EST5EDT' rather than being strictly standard time. The only reliable way I’ve found to interpret a time as standard time is to use a UTC-relative format such as:
$dateObject = date_create("2013-06-30 07:00:00-0500");