Question: is in the hall of the mountain king public domain?
Answer: Peer Gynt (where Hall of the Mountain King comes from) is a public domain work. There is a public domain music library available on the internet that contains a ton of good stuff.