[immibis]

Do they have a trademark? It costs $325 per year plus roughly $650 for the initial application (even if rejected). Is he paying that?

[account42]

You're talking about registered trademarks, that's not the only kind.