I had a similar problem right after the upgrade. I couldn't ping the DNS (
www.ironworksforum.com) but I could ping the Ironworks IP (24.26.79.51}. If she can ping the IP but not the DNS then it's a DNS problem. Telstra must be the most @#$% ISP in the whole world.
Tell her to try this alternate DNS server in her TCP/IP settings (I assume she knows how to do this):
61.9.192.16
She might have her settings set to automatically resolve DNS, get her to put that DNS server in manually and see how she goes with it.