If you really want them, you might want to pull the trigger. I bought a nice set for $400 + shipping. They were original, but had been media blasted, so not the original finish. If these are original finish in pristine condition, that might make them worth more to a restorer. With free shipping from Texas, it's not an unrealistic price.
You will find others on Ebay from time to time, some original and some reproductions. Some of them are priced at least as high as these.
Good luck!
Chuck