Grazie del tentativo, ma niente da fare, non funziona....
Comunque sono sempre più convinta che il problema sia lì, credo che explorer non riesca a "passare" l'attuale url della pagina con HTTP_REFERER tramite flash.

Adesso in setstyle.php ho provato a scrivere:
<?php
setcookie("vskstyle", $_GET["style"], time()+31536000);
header("Location:http://www.vanillaskyband.com/tv-vers/home.php");
?>
Adesso quando si cambia stile si torna alla homepage: con firefox continua a funzionare tutto bene ma con explorer il css non viene cambiato subito, bisogna aggiornare la pagina perchè venga caricato. Non so, forse ci vorrebbe qualcosa per forzare il refresh della pagina, ma 1 volta sola non in continuazione... suggerimenti? Comunque ho già fatto un passo avanti, almeno adesso quando si clicca per cambiare stile non si apre il file swf a tutta pagina...

Accoglierò a braccia aperte quasiasi suggerimento per aggirare questo problema di explorer...