Right now there seem to be very few 4K PTZ options available. The only two from major manufacturers I'm aware of are the Axis Q6128 and Hikvision 2DF8836.
The Axis has image stabilization and is rated up to 65° C, but does not have IR.
Hikvision has integrated IR and is rated up to 40°C, but no image stabilization. I believe it also has an analog output which Axis does not, but I'm not 100% on that since I can't find a manual or proper photo of the cable whip.
Both will run near $3000 see them in the IPVM Comparison Tool.
Has anyone used either of these? Are there other options we are missing?
[Update: Hanwha and Uniview options available too.]