How much higher is the top of the filter above the bowl vent tubes?