Además, uno de los lanzadores de Hawai es llamado Ho), hay varios cambios notables.