I'd go 1250 based on my experience, but if you don't need the power I'd look for what many of us consider the best sound from that era's Pioneer and that would be the SX-1010. Yes I've owned several of each (new and / or expertly serviced and restored).
marantz? I've had almost all of that series, and I have the same opinion of their SQ today as I did when new: meh. Sound quality vs "house sound" and preference is all personal however, so you very well might feel different than I or others here do.
If you're really hooked on a "monster receiver", look also at the big Sansuis, and big Yamaha, both of which IMO are great sounding units and last suggestion would be the big Onkyo receivers, much more reasonable price for excellent looks, power, and SQ.
The Japanese made some excellent receivers in that era.