[jldugger]

I'm clueless, how much did it cost to get the trademark registered?

> I'm not an expert, but that sounds like a bad deal to me and substantially weakens the mark.

Well, the alternative (in hindsight, admittedly) is losing it entirely?