The confusion is basically this, you won't find anything under the model numbers of HK as the K stands for Kirby which was only here in Australia and made under license from Tecumseh in the USA.
Cheers, BB.
I live a 24 Hour lifestyle, but every now and again I seem to fall asleep, well at least that's what my wife tells me.