The musical score for AOTCM

I am a big fan of both Ronald Stein (Attack of the Crab Monsters) and Leith
Stevens (World Without End) scores. There is a trivia note on IMDb about music from WWE being used right after the main title (@ 2 mins in). I own both
movies, and both scores are among my favorites. The score for AOTCM is TOTALLY
by Ronald Stein. NOTHING sounds even remotely like Leith Stevens.
I think this wrong bit of trivia should be removed. Anyone have other
thoughts? T.