I don’t worry about this at all. Naming characters in the game and using puns, or movie themes, or whatever, is part of wargaming tradition 😉
If it really gets silly, and one player is milking it such that it becomes annoying, someone usually says “Ok, we all get the joke already.”Among friends, that solves “the problem” if there is one.
It’s a variant of names for characters in roleplaying campaigns. As a GM, you have created a fantastic world. Then, a player insists on calling his character “Mickey Mouse” …
Tiny Tin Men Blog: http://snv-ttm.blogspot.com/
Wargaming Mechanics Blog: http://wargaming-mechanics.blogspot.com/