Many use the KB or Baldor equivalent SCR drives, but take the 2.5HP with a pinch of salt,
If you compare the size with an industrial 2.5hp brushed, they are usually much larger,
also it takes a well designed (expensive) DC brushed motor that will run at 6000rpm?
Al.