Hombre yo no soy un experto en el tema,pero siempre es más fácil creo yo,compensar la presión interna de una máscara pequeña con poco volumen interno que el de una grande.A mí me parece que si tu amigo no va mucho al agua,tal vez se le olvidó compensar y se le placó la máscara.
Para salir de dudas,lo mejor es que vaya al médico y si es oftalmólogo,mejor que mejor.
El chico que conocí en la Marina,tuvo un placaje serio,pues en el Centro de Buceo de la Armada utilizaban las clásicas máscaras grandes de antes,que no tenían ni siquiera la opción de poder meter los dedos para compensar y eran de gran volumen.