Also, VAC sells hand selected new reissue tubes, you won't have to chase NOS ones if you don't want to. I do chase them, though.
You might want to ask the sellers the serial numbers and then talk to Kevin of VAC to see if those units were ever serviced/repaired. Better give him a call, he is very slow with emails.