Jeffrey:
The name change was official by the time I first saw Teeth of the Dog, in 1983.
Mr. Dye favored that name from the start; it was the client who liked "Cajuiles". The problem was, with people calling the course three different names [including Casa de Campo], it had identity problems and a lot of people didn't understand they all referred to the same place.