I'm looking to upgrade the spindle on my cnc, I'd like an ATC spindle in the 3-5hp range. So far I've found these sources:

G-Penny via Ali-express has a ISO20 2.2kw Watercooled for ~$1500

CNCDepot has a ISO30 3hp for $3600

Mechatron has a ISO20 2.2kW and a BT30 4.5kw, no prices but I'm assuming they are similar or more to the CNCDepot

Teknomotor also has a ISO20 2.2kw spindle. Not much info on them, nor does there seem like they really sell in the US.

Are there any I'm missing here?