Supposedly the AIR1 can be used for the Sennheiser IE80. This is in my case definitely not possible because the opening for the speaker channel is too small.
PS: Dear INAIRS team, please save you at least with me these comments could come from a fortune cookie.