RG-3120 or JPM-4 (Both new)
Some cool guitars there...the ash Paul Gilbert, and a 3120 in VV...nice.
The difference in tone between the 3120 and JPM are not just the pups but the body wood (s). *The JPM would most likely be worth more in the long run, but I'm a big fan of flame/quilt tops, so I'd probably lean that way (3120).
Another factor is the neck...try both. *The JPM will be a bit fatter. *That may help you decide. *All the best...you couldn't go wrong with either.
I'd be curious to know how much $$ these are going for out there.