La Asociación Amigos de la Astronomía le permitió a Mario nombrar su propia estrella, lo que le dio una gran alegría.