Does anyone know of a good tie mask? not over the ears loops?

[bcinohio]

DH and I are thinking of taking a WDW trip in Dec . He likes the gator type of masks. Feels he can breath easier. Also he wears hearing aids and the loop type of masks bother his ears with his hearing aids. I have read that Disney does not allow the gator masks that they have to have loops or ties. Does anyone know of any good breathable tie masks? Thanks for the help.