..."slight", but sellers always downplay bad things. The mouse smell probably doesn't go away, they just get used to it. LOL.
In my experiences, if mice ruined the carpet, they may have gotten into the headliner too. I've been there and done that.... Not fun, but not the end of the world...