I'm trying to extract the music that plays while battling Bowser with his shell spinning. I located the correct file that plays the music (SMG_boss07_multi.ast) on the disk and successfully divided the file into Normal Battle Theme and Battle Theme with Chorus but neither contained that particular music that plays when Bowser's shell spins. Can some please explain to me how the game calls this theme when Bowser's shell is spinning and where it is on the disk? I know Super Mario Galaxy came out a long time ago but any help would be greatly appreciated. Thanks for taking the time to read this.