I don't know anything about Rotel, so I couldn't say on that, but the Marantz and Pioneer for sure. As I said though, the Marantz is a bit high (especially if you planned on reselling), and the Pioneer is a good price, even for a reseller. The Pioneer XX80 series is not as desirable as the XX50 series, but that unit looks well taken care of.
Now, your question as to whether "is this stuff people still look for"? Absolutely. Vintage gear, especially in good shape is hot.