Yeah Pint, if you can smell it, you still have a leak. Might be small, but like I said if you smell it there's a leak. Definitely have them take care of that & get them to give you details of what they did to fix it. Keeping a history is always important so when you talk to them again you can voice your concerns with a little tech knowledge to back it up
Good luck