My maintenance guy wants to buy a set of shock disk compression tools. Does anyone still sell these?