[Pete940]

Thanks.
I've just taken the hit on a replacement air box for £30, so that's one less bad point for the list.