Very unlikely its a Serial# HK, as these units were not around then, perhaps a KH sounds better.

As I said, if the top board fails, its like $700 to buy a replacement. Best to merely send it out to a repair shop. which would cost around the $300 mark