Just got the report back from the dealer this morning. Air box shattered. Replacement estimated at $260 for the air box and 2.5-3 hours labour. So yea, it looks like a lot of work to get the thing out.

thread