I don't think a grand's a big deal. A new Yngwie sig or custom shop with similar specs would cost way more than that, and this one has 30 years of mojo, even if it has been heavily modded.
If the price shoots up by the end of the auction I'll change my tune.