Yep, The top of the airbox is partially shattered. Dealer wants $240 for the kit and about $200 in labor. Sounds like a DIY project. Time to look for a used spare.

"Polygamy is one wife too many. Monogamy is the same thing" - Oscar Wilde