Hromadné přesměrování - PHP header nebo mod_alias?

Ahoj,
mám web, který má nyní stránky ve formátu "domena.cz/stranka.php?id=78", nová verze má stránky "domena.cz/nazev-stranky.html". Mění se tedy identifikátor stránky (z čísla na název), stránek je cca. 400. Staré stránky na nové můžu přesměrovávat

1) mám tabulku v db která páruje staré id a název článku - php dostane v $_GET id, sáhne si do tabulky pro název, vrátí 301 a pošle header s novou adresou

2) mít 400 řádkový .htacces, který to požene přes mod_alias

Co bude podle vás v provozu rychlejší? IMHO si myslím že mod_alias, ale chtěl bych slyšet víc názorů (zkušeností).

Díky moc