Jimmy, I don’t know what this whole chinese virus thing has done to the price of 3rd Gens, but I bought a 4516 from a guy right up there in your neck of the woods this past September for $450.
I've watched 4516's sell for between $450-$600 in general over the last year or so. There are always factors involved of course - which version (no-dash, -1,-2, R3), what comes with it, and overall condition. I'd say that if you can get a decent one for $500 or less, it would be a good deal.