I don't recall ever hearing what the actual pronunciation was until ten years ago. Was there a whitepaper or anything? The name spread by word of mouth. He should have done a better job of making sure it was being called what he wanted to call it. It's like trademarks. You don't use it, you lose it. For fucks sake he's been sitting in the shadows since 1987 just chilling and then busts out with the "official" one in 2013.