Comment by charcircuit

A pun doesn't make a name not trademark infringement.