And, oddly, everyone has missed out on a pun of his name. Kukui seems to be based on the Hawaiian “kukui nut”... No one?