If the retail price is indeed $2500, then the seller's asking price makes no sense. In my experience, any dealer will give you 10% off of retail right off the bat. Most will go as high as 20% ... although, in today's post-covid audio dystopia all bets are off!
OP should contact a dealer to see what kind of pricing they can offer. Why take a chance on used just to save a couple of hundred dollars?