Don't know the official name. It's brand new as I have no need for it. It came with the RS7 airbox I bought for my A7. If you were my neighbor I would just hand it to you for free. I'll ship it for $15, which just covers shipping (to most places), boxing, and my time.

I'm throwing it away in 48 hours. Thanks for looking.