/diy/ - Do It Yourself

So I just took out my Redmi note 7 battery using a hairdryer and a thin metal tool to take out the battery.
I kinda ripped open the black outer casing and you can see there is a tiny scratch on the foil on the inside.
It smells like acerin, not too bad of a smell. I'm thinking maybe that's just the glue. But if not, is the battery damaged and should I throw it out? I did read someone say their battery smelled the same but they took it to a bettery place and they said it was fine, so he put it back in and worked fine.
What do you guys recommend?