> But how does the "vintage marantz" sound compared to something you can buy with, say, an hour's research with an internet search engine? Including price?

Considerably better in the sub $300 range, and depends at the $600+ range. I'd personally go with the Marantz still, but I'd want to do some serious a/b testing.