All flight animations implemented down to the REPL