Out of the Red Bull Racing Owners Workshop Manual:
But on that image, you could see the air flowing through the airbox to that inlet over the engine air feeding. Is that example in the RB manual maybe a RB4? They write quite a lot things about RB4.Gearbox lubrication
...and pumped through a sidepod-mounted oil cooler...