So does F1 still have the Deathstar??