_prick /prĭk/ noun
… A small, sharp, local pain, such as that made by a needle or bee sting … A pointed object, such as an ice pick, goad, or thorn. _
- The American Heritage® Dictionary of the English Language, 5th Edition
Suppose calling men bees are more polite than calling them pricks…
A leak between the bowl and floor would not change the level in the tank… unless there was also a leak in the tank.