I've heard before that it's meant to be re-TRIE-val and therefore is pronounced "tree"