400Hz supplies; was: RK05 spindle pulleys - trade 50Hz vs 60Hz?