Original Song?

[Nixitro]

This is a nostalgic-fan question. Only i hear the original theme of Gauntlet in the credits and only a few seconds.

The original theme: https://www.youtube.com/watch?v=-KvcIyfC81o
Original theme (Orchestra): https://www.youtube.com/watch?v=s8B4wodl3yo

Maybe for other players is a "wtf" this question, but in my opinion this song is the insignia from Gauntlet. Is the original theme removed from the soundtrack of the game?

[S]

The music in the menu is from the arcade version. The NES port was very different.