You should expect something in the region of $4500 and should not let it go for anything less than $4000.

Unless you find someone looking for that same type of server it will be hard to sell it much more than I have estimated. Reason: "Amateurs" people buying servers have usually already made up their minds about what they want. The experienced ones will see a deal when they encounter one and will snatch it.

That said, you should list it or advertise it for $5000 or slightly higher if you are listing it on CL.