Out of the Red Bull Racing Owners Workshop Manual:
...and pumped through a sidepod-mounted oil cooler...
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.