I had 2 Seawitches, one in about that condition, one rough. I think I got $1200 for the nice one and it was listed on Pinside. If you were really, really trying to find one I could see someone pulling the trigger at $2500 but around here that thing would sit forever at that price.
I think the region combined with the relative scarceness of a title drives the price.