New guy and a question

I bought a EVH EB quilt top back around 1992. Really liked the guitar but many years later I
wanted a 335 and sold it. That was a big mistake as I should have kept it! The EB I bought
was a hard tail.
My question is how many hard tail EVH guitars were made?
I’d love to find another one although, I think the price would be out of reach.

Bought a Sterling Axis and for the money it’s quite nice.