I can't recall where I came across it before, but I do remember the name being discussed and some principal / authority saying "sir hat" was the intended pronunciation.