Yes. Agreed.Not bad advice. Better advice when the price is higher. With that much headroom for any repairs I wouldn't go that that far. It is a nice old bass for under 2K. It will need repairs, it is just a matter of when.
Worry about the sound and scale and jump on it if it passes.