Have you tried Shazam/Siri?
Also I think he did say where Alice's theme came from but I don't remember where.