If they were brand new, I would get the x6500 for a few dollars more.
But for used AVR, that’s trickier since you have to weigh cost vs unknown factors.
Which one is actually in better working condition? You have to make assumptions.
And what’s the cost between used vs new? No warranty vs 3YR warranty?