I am trying to identify gauges I bought advertised as coming from a K5. They do not: redline@8500, trip reset on side, tachometer gearing printed on back says 2500rpm = 10000rpm. The faces have the typical greenish hue, not blue. K7 or F1 or... Any ideas? Uli