bradgrafelman is right, I have, though bumped into this alot lately. So here is a solution without using MYSQL.
$start = strtotime("05/05/2011 10:53:39");
$lunchstart = strtotime("05/05/2011 10:54:06");
$lunchend = strtotime("05/05/2011 10:54:43");
$end = strtotime("05/05/2011 19:17:44");
$worktime = ($end - $start) - ($lunchend-$lunchstart);
$hours = intval($worktime / 3600);
$secs_left = ($worktime - ($hours * 3600));
$minutes = intval($secs_left / 60);
$seconds = ($secs_left - ($minutes * 60));
echo "$hours:$minutes:$seconds";
Bear in mind that this can be shortened alot, also the date format is "mm/dd/yyyy".