El perro favorito de Musk es, efectivamente, el perro marciano Marvin