Zach,
Back in 2016 there was one listed for 2199 that was just serviced...Given the insane prices of gear today and If your not in a rush I would throw it up for around $4500 or B/O and see what kind of response you get.
I think I am going to list it. If any of you rig-talkers are interested, send me a pm-- you'll get 1st dibsGo for the sale bruddha
I want to know what you're using as a replacement.
Nothing wrong with that