I'd personally try and work on the price a little bit. It's a used system with an unknown amount of hours on it. (not that it really matters all that much).
There are a variety of retailers selling RNVG-A's in the high 8k's.
Other than that, the specs are fine if that's what you're ok with buying. You can spend forever trying to find the "perfect" tube.