@Spike: Dat meet je met een micrometer die je met een verloopstukje aansluit via het gat precies tussen de verstuiverleidingen op de pomp. (gat zit wel dicht met een boutje, dus die er eerst uit halen )