If you are TEMPTED in ALL CAPS by a music pin, then that’s your answer!
I’d recommend any of these Stern Pros regardless of whether you had specified a music pin, as they are some of their best games:
ACDC
Metallica
Iron Maiden
In saner times it would be a cakewalk to get any of these for <$5k, but now you might need to stretch a little; still worth the effort IMO, as these games are simply killer.
I’d give a slight nod to Met because there are enough aftermarket mods to upgrade the Pro to some of the Premium features; otherwise you can’t go wrong with any, play and decide for yourself. (Disclaimer: I have had a Met prem since ‘16 and it’s still “bolted to the floor”, just a ridiculously addictive combo of shots and software that’s hard to step away from - I’m sure they earn well on location!)