[patja]

Thanks that rings a bell. I remember reading complaints about how the change reduced the overall shower capacity and led to longer shower waits during peak hours.