I just sold:
Kenwood KR-8010
Kenwood KR-8010 (2 of them)
I currently have (AFA vintage)
Sansui 9090DB (mint, my main receiver)
Sansui 9090DB (going to be mint, then selling)
Sansui G-7700 (need to fix something, then selling)
that's it AFA vintage receivers, I did have a Kenwood KA-1500 inte. amp, and I have 2 Sony TA-2650 inte. amps (sold 1) and a ST-3950 tuner
modern receivers:
JVC RX-6010 (my cheap HT receiver, used pretty much every day, sure I could complane about it, but for the $180 it was new, I can't)
JVC RX-318 (early 90's stereo receiver, nothing REAAL special, claims 110wpc, although really about 90 [yeah I know, big differnce] and was my first "real" receiver after the Aiwa mini-system
that should be all