I don't really have a budget per se, I mean if it costs $5,000 that may give me some pause, but if that is the only way to solve the problem then so be it.
Of those you listed the only 2 that are outdoor PTZ are the DS-2DE2C400MWG-E (which was certainly on my radar) and the DS-2SE3C404MWG-E/14...