You are forgetting the 1200+w for the DE HPS and you almost always need an AC (12,000btu portable = 1400+w, or 700-1200watts mini split $$$)
My situation- around 2000 watts of COB leds, no AC needed until I am past 3500w of lighting, even in summer with 100*+F. I only use Hyperfans for control of temp, humidity (8" 75 watts, 6" 35 watts.
Winter, the room uses heat from the dehu, and the fans only come on if past 86*/60rh, so I add CO2 for when the fans don't come on as much.
So don't forget to add the cost of the minispit into that aquation. So now, how do the numbers come out for the 2000+ watts you are running per HPS.
Other advantages are higher room temps with LEDs-
HPS = mid 70*f ( shit load of IR)
LED = low to mid 80*f