I'm sure he must just not have been familiar with the name it is sold under in the US, however, I'm continually amazed at the things that experts don't know. One of my vets was going to treat a lesion on one of my sheep, and I asked him if maybe he should use gloves because if it was what I thought it was it could have possibly been zoonotic (which means contagious from animals to humans or from one species to another), and he didn't seem to have heard that word before. A veterinarian! Then again, I've had veterinarians not be able to tell which of my critters were goats and which were sheep. I guess it's not surprising that human doctors don't know everything sometimes. They do have a lot to keep up with, and sometimes those of us who spend a lot of time learing about one particular thing may know more about that thing than the experts, or at least a few details that they don't know.