Just checked mine - seems ok.

However - a ‘supplementary question’ .
Whilst I had the airbox lid off I noticed a small hole in the bottom of the airbox, obviously a drain hole. Drain hole on my old bus had one of those squeezy rubber tubes attached to allow water out, but not in, but this is just a hole with nothing to attach a tube to. Does that sound right or is something missing? I’ve sealed it with a course thread tek bolt & rubber washer (from underneath).