Io, Leonardo Docu-film Lucky Red