Totally depends on where you are at/climate. Sure you know that, but as an example, it gets 100-110, regularly, 3 months out of the year here. 12,000 btu is needed to cool this aircooled 3000 watt setup during those months. That keeps it around 80 F.
No master here, but sort of thinking 5000 btu is a little small for your thing, with the summer coming up.
would guess more like 7-8k cooler climate, 9-10k moderate, 11-14 hot climate.
This is assuming some things about your setup though. Would think if you went into more detail about your setup\outside temps, you would get better answers. someone might have the same thing going on.