Hmm, usually girls wouldn't go near mouse...how did she get her finger bitten?

Anyways, yeah, it's best if she went to a doctor to check it out, you never know what these pests can do to you.