Gotta feel sorry for the sound designers at Stern, who have their hard work replaced. I'd take that very personally myself.
As I've stated before, all Stern have to do is create an option in the menu for the player to use 'Original Game Music' or 'Custom Music' - which can be loaded from a USB stick. Video Gamers mostly have Spotify playing custom tracks during their games. Why can't pinball offer the same functionality?
As good as Cleland is at reorchestration... you're own custom music would be so much better.