I read the articles and yes, it's probably like you said, there are a grey area in which not suing an infringer does not neccesarily lead to trademark abandonment. However it will probably apply differently in different countries or states in the US.
Well, I hope these guys from RotT had got the appropiate permission from Disney and avoid all the trouble.