If they go through with the name, it'll be pointed out and well known, and then people will realize "oh, that's the intended joke...".

Then they won't be able to type and say it during their workday, without at least silently cringing or smirking, at phallic humor being forced upon people in the workplace.