That is a very good price, I reckon. Very 80s.
The real deal is the neck through, 2+2 headstock, top of the range, Westone flagship model Pantera Deluxe II X790 which are exceedingly rare and do go for very good prices (I have one, paid a lot for it). Those cost £600 new in 1987, which was a lot of money then. But I think the pickups and electrics are much the same, in which case it is HOT. I wasn't keen on the tone with roundwound strings but with flats it has been transformed into something rather quite special.