Who cares, really? Arguably this was launched first and nobody gives a crap about coin names anymore. I mean ffs, we have pandacoin, lemoncoin, tittycoin, flappycoin, beecoin, suncoin and even fuckcoin. Names are unimportant, marketing is - even if it means using someone else's campaign.