But asking the creator of such level wouldn't be a big problem. It gives the creator a choice: change the music for bash and let the level be played during the bash ... or don't change it and don't have your level in the bash.

Edit: or that ^