Ok I know they are roof lights and come in a variety of shapes and sizes BUT what the heck does heki stand for-is it an acronym for high efiiciency k i -am sure it isn't a trademark type name as there seem to be different makes-anyone shed some light (no pun intended) on the matter?