Some tables have - I'm sorry to say that - really annoying music. To my opinion it is mostly for pseudo bombast and dramatic music made by synths/samplers (e.g. Dr. Strange, Wolverine)
On the other hand, there are tables with excellent music, that contributes very good to the total athmosphere (e.g. Star Wars Tables, Aliens tables, Ms Splosion Man - yes I love this one), so I really do NOT want to turn the music globally muted.

Here a toggle button would help, that should work when the table is running. Next table should start with music again.

Perfect would be, to choose in a setting for each table (or a command, that can be implemented into PinballX...) but my upper proposal would be very helpful at the moment.