Yes, and cut it out to 5", and redid the bottom of the inlet port so transitioned better to the mixer inlet.

"The first rule of overkill: You can never have too much overkill."
"Overkill is underrated."