Friend is naming daughter “Lenin”. Would you say something about the spelling?

I’m all for a historical name but I don’t think this suburban couple from Texas intends to name their child after a Bolshevik revolutionary.