There is a precedent for "doctor", based on how people pronounced the company's "DR Logo"/"Dr. Logo"