Hola lucasarts_18.
Te agradezco por haberme sacado del apuro que tenía...
Esta es otra solución que me dieron:
usar
Código PHP:
$result = gmdate('H:i:s', $difference);
en vez de:
Código PHP:
$result = strftime("%H:%M:%S",$difference);
Ya que al parecer strftime está adicionando el offset de mi zona horaria (Colombia)
Ahora la inquietud que me surge es si usando "gmdate" el script funcionará bien en cualquier país pues el código que estoy desarrollando pretende ser usado en otras zonas horarias...