I called my dad who's a bit more clued up on cameras and these things than i am (photography's really new to me, I'm a bored musician and a furloughed bartender), his advice is pretty much identical to this, with an added "if it's not leaking, don't worry". Hopefully that won't be a concern, but...