I’ve never heard the end of Gustav Holst’s Mars. I came close, once, but then the world ended with the Martian invasion.