Anyone know how to change the spindle speed on a Velox CNC

If anyone can please help me if its just a online manual you can direct me to or tell me how to change the spindle speed on a velox cnc to 9000 rpm’s.

On our Velox machine there is a slider on the spindle that sets the speed.