The first thing she should do is check/get checked the rear differential fluid immediately. If you can get it replaced somewhere real quick, that would be good and make sure they put in the correct weight fluid. If it's low, that will cause the whine and if you run it low, you will mess things up. When you look under the vehicle, from the back, there's two bolts on the case, one towards the bottom and one towards the top. The top is the fill plug. Just remove it and stick your finger in, the level should be just below the hole. Don't do this while it's hot.
Secondly, there's a TSB about this if you search. There's a kit made to fix the issue without replacing the whole differential. From what I have read, you are looking at about $1100 to get it and have it installed.
To follow up on my situation, whatever the dealer did has stopped my leak and noise, yet they say they didn't do anything. I can't see any sign of work done, other than they removed the fill plug to check the level. Oh well, I will wait and see what happens.
Good luck with yours.