I noticed a supposedly NOS tach listed on eBay for a K0, currently at $148 with a couple of hours to go. The only thing is, it shows a redline of 8,000 rpm. It's my understanding all the K0's redlined at 8,500 rpm. Mine shows 8,500 and I thought the 8,000 was set on later models. Anybody know definatively?