The Italian rcde.it video shows that the primary loop water came out of a large plastic garbage can parked next to the pump. It is a shame they did not weigh the garbage can before and after. That would have given the total amount pumped through. It may not all have been vaporized . . .
That video may allow you to count the strokes of the pump. It is 14:38 long. - Jed