Embarrassingly, this appears to be the first filter change my (now 10.5yr old) Bravo has ever had. I doubt any garages that have previously done a service have any idea where the filter is since I extracted the original Denso filter along with some bird feathers and rather dead leaves. Since replacing and hoovering out the filter cavity, the difference in vent.... blowage (?) is much, much better than before.
But anyway, as pointed out by others above, this was a complete PITA since the clutch and brake pedals are in the way (RHD) and you need the hands of a small child to get the new filter in.