Back in the 70's ,CAT used to sell an 8000 rpm solid state tach. Does anybody know who made them or any other info about them.