I have an 8000, so I may be biased, but if:
- you don't intend to connect active speakers
- don't intend to create a multiroom setup
- don't want 2-way remote control or fancy timers
- don't expect to get a lot of money selling it on
...by all means get an 8000 after making sure everything in it works. The cassette deck certainly is better than in 9300, and the rest of the machine is pretty much the same as 9500/8500, including the 16-bit CD system that's about the same as the highly praised one in BG CD5500 series.
In all of this series, the amplifier never was much to write home about. Therefore an 8000 probably will not serve well as high volume party PA either (neither will the others, but you can rectify that with active speakers). I still love mine at the office, where I have ceiling mounted RL60.2's connected to it.
A matter of taste, but I do believe the dark gray panels will age better than the bright ones, which will look tacky in a wrong environment. An 8000 will not make so much fuss about its presence.