Sprawa się wyjaśniła. Problem nie miał nic wspólnego z pompą. Sprawa na tyle ciekawa, że warta opisania.
Pytanie tylko czy zrobić to w tym wątku, czy założyć nowy?
Czy ograniczyć się do krótkiego technicznego opisu problemu i jego przyczyny, czy dodać refleksję na temat udziału "fachowców" w sprawie?