There was a pre pro EVH striped Charvel (made before Ed threatened a lawsuit) for 10K; it sat for a LOOONG time. Not sure if it sold or the guy pulled it...but a pre pro striped Charvel is worth way more than an early production star. Imo.
He can ask what he wants, but 25k is early 60s strat territory. No chance.