[jeltz]

A trademark does not forbid people from using a name, it only restricts how it can be used in marketing. I do not see how that would be applicable here.