Benötige mal Meinungen zu Geschwistername

Finde Phil am Besten, wobei ich das Kind Phillipp (oder halt die Schreibweise die euch gefällt) nennen und es Phil rufen würde. Phil ist für mich ein Spitzname. Er kann sich ja überall- wie es viele andere machen - mit deinem Spitznamen vorstellen.
Michel ist für mich eine Hamburger Kirche und ich hatte direkt einen Ohrwurm ("lebt denn der alte Holzmichel noch...").
Paul ist auch sehr schön, passt aber nicht zu den anderen Namen. Wäre mir persönlich egal, aber ich gehe davon aus, dass es euch wichtig ist, weil du sie hier nennst.