Might change weekly what my favorite system is but currently street MSRP would be 12k. I have under 2k into it. Love it! All great condition and could make money on it any day.
I’ve never bought a piece Ive had a big issue with. Speakers are especially an easy recommend as long as the cabinets are not all beat up.
I would go for the 802s.