excellent service and product
I would have thought i had a 2.5mm allen wrench in my pile of allen wrenches. Think again. I didn't. Install of diverter is much easier with the right size allen wrench. Glad I bought this when I bought the new P4030 diverter.