‘Each water-jacket contained 7.5 pints of water when full.’ This is from the early documentation of water-cooled machine guns ...