I paid about a grand for my 7.5 #6, so yeah, I would say that that is a good deal. You just never know what will happen in auctions, and I knew I was probably overpaying but nice #6s don't exactly grow on trees and that was the first one I had seen in a while. I know I have done well on other books, so hopefully it has all evened out...
That's the thing with pre-hero collecting, they seem to come in bunches when I have no money! There will be nothing you need for months, then an auction pops up with like 4-5 books you covet. It makes budgeting as a collector very difficult. If the last few years are any guide, it would seem that some long-time collectors are divesting and it will present an opportunity for the next generation like us to get a few nice books.