Trademark has to be actively defended. It is quite unlike copyright in that respect. They can allow you to use the name under generous conditions, but if there is any chance that they could have reasonably known, and this post is definitely proof of that IMO, then they have to defend their trademark against infringement.