Ik weet niet of na een header de browser nog download, het scheelt iig server resources. Verder is het even snel en is Location alleen netter.
Zoekmachines gaan inderdaad lastig worden, maar dit zal je helaas altijd houden tenzij je op IP basis de keuze gaat vastleggen (wat ik overigens afraad). exit zorgt alleen voor geen verdere uitvoering van het php script.