While I am at in, I have the opportunity to acquire a Marantz 4230 in nice condition, reputedly serviced, at a decent price (600 Euros)...
... But I am hesitating, like : "Oh, another nice one for my collection... Dude : are you serious ? Where will you store it ? Will you use it so much ? Quadriphonic and Dolby what for ?"