Nice instrument. If you're not looking for a lot for it and just want it to go to a good home, then it could be worth offering it to a local (or otherwise) amateur radio group for a day or two first to see if anyone wants to buy it. I've sold a DG1022z AWG that way for about 1/3 of what I originally purchased it for, which was a good bargain for the purchaser and me. Packaging can cost a lot, so targeting a local group can be a significant benefit in terms of time/cost saved by packaging a large instrument and less stress, so the price can be lower to reflect that.
It is hard to sell some stuff in some areas locally, especially if the price is more than a few hundred. I offered a tek DSO to a group for under £1k, (actually also offered to swap for a radio worth about £800) and there were no takers. Eventually, it sold on eBay for approx £1450. Still, it took 2-3 months (I listed at about £1750 to be slightly cheaper than other listings; of course, any potential buyer will also feel better if there's some bargaining). EBay takes a chunk (I would rather the buyer not have had to pay that, but buyers rightly need comfort/assurance, which eBay provides).
I had a low-cost used VNA calibration kit to sell (as a Try-before-buy, i.e., I didn't want payment up-front since I wanted the purchaser to be 100% satisfied first), but surprisingly, despite the very low cost, there no takers from the amateur radio group, so again that went on eBay for a slightly higher price to cover the eBay charges.
I've purchased one item from this website; someone offered it in the For Sale section.