hard tail Gibraltar bridge
Like I said, he's a wanker, probably won't buy something used because 'someone jerked off then played guitar, and their cat probably peed on it.' Not making this shit up.
There's not much to recommend. RG7421 with a plain top is $400, same guitar with the transparent finish is $500.