Fmpnd,
You are correct that he did not mention a $10K figure directly. However, a quick look at used prices for all three speakers shows that they are all around $10K.
One thing the OP should be aware of, (which none of us who did recommend the Avalon Eidolon mentioned, which we should have), is that the Eidolons are a discontinued speaker model, and will probably be well used, (i.e. they will be several years old, versus the other speakers mentioned that may only be a year or so old). (The Eidolon Vision replaced the standard Eidolon about three years ago I believe, although what the difference is I am not sure, as they look identical to me.) The Eidolons used prices used to be up around $12K a few years ago, and have drifted down to $10K due to age. It is something to consider.