Not a big deal. It would have happened to her if she was driving it anyway. It's a cheap fix, and really isn't hurting the car anyway. Give her the heads up and maybe ask around for her a name of a good local muffler shop.