Uno de mis preferidos es javier
pero por otra parte, si no se repite en la familia, mejor. Bueno, esa es mi opinión, claro.
De todos modos, si os gusta, ponérselo, a mi me encanta desde luego.
De los otros dos, Pedro no me hace mucha gracia, y el de Miguel, siempre ha sido uno de mis nombres preferidos junto con el de Javier y Raúl. Yo en tu caso le pondría Miguel, pero la decisión es vuestra, ya sabes. Barajar las posibilidades y gustos. Un beso.