Is it really necessary to empty the compressor after every use? We do not have that rule for the large compressor, do we need it here? --Lukas (talk) 20:59, 1 May 2024 (CEST)
