What to do if your industrial air compressor leaks