Our Arrow 2 1250 has the 10K RPM spindle option. It does have a glycol heat exchanger for the spindle on the back of the machine but it's just a heat sink, no active phase change cooling like a...