Grazie ad entrambi.
Quindi secondo voi la soluzione:
header("location: ...") or die();
non è da prendere in considerazione?!

Pensavo che l'interprete PHP fosse in questo caso "costretto" ad attendere il buon esito della funzione header prima di proseguire e quindi incontrando il die(), e di conseguenza quindi nell'attesa il redirect entrerebbe in azione.

Grazie comunque, adotterò la soluzione:
header("location: ...");
die();

CIAO!