Usually the cap of the vacuum pump. Mine leaked a bit when I got it , I ignored it and it got a lot worse after a year. Simple fix was drill the rivets out and replace them with little bolts. Saves you buying a new pump and if you've got a small hand drill you can leave it in situ :)