I reckon the PRS might be just a little over the top end of the price range, but they're great guitars, and imho sound very different to a JEM it's far less open, and more restrained to my ears, whether you like that or not...
They feel pretty damn different to me as well. I'd probably go for the stop tail version in 22 frets just to emphasise the difference so to speak. And I'd go for the fat neck too
EBMM Axis would be a cool option, again as withthe PRS, great colour choices and many folks rave about them, I just reckon they're great, not phenomenal, but great none the less. I've always fancied a hardtail version of this.
If you go for a strat I'd say try a SSS version. Again imho, the strat doesn't do the superstrat thing as well as its peers, it's beaten on all fronts, from Ibanez, the freaky over the top JEM, or the ubercool JS
, by Anderson and Tyler for the true souped up strat vibe, etc etc. But a SSS strat will always have the fact that its a true strat I hear the Eric Johnson version is amazing!
BUT you say that you like to play Satriani/Van Halen style stuff, so maybe another JEM WOULD be what you need
Seriously though, ask yourself if you fancy something even more different? A Telecaster maybe or a Les Paul type? - It's ok to say no
OR... if you wouldn't be better picking up something very very similar, a JS1200, for an even closer Satch vibe maybe
again it's ok to say no.