I’m trying to buy my 13 year old son a face mask ready for next week. I can find child size (seem to go up to 10) or adult masks, but nothing in between. Presume adult size will be too big. Has anyone found masks suitable for young teens? Thanks