Unless you are on a tight budget, you'd be much better off getting a new VSX-90. It's about the least expensive Pioneer Elite model that won't be obsolete within the next few years as it supports HDMI 2 w HDCP 2.2 critical for 4K copy protected content. Furthermore it does Dolby Atmos. Lastly it has the arguably better ESS Sabre dac chips vs the Wolfson of the 01TXH. Wolfson might be a touch warmer for music, but the ESS Sabre better for home theater and gaming.
$699 full retail, $565 grey market. I personally would not buy a used last gen receiver to save $350 tops - specially not with the advent of Dolby Atmos and HDCP 2.2 which I think at this point would be mandatory to me. Just my .02's.