Keep getting asked this one, for some reason.
here they are, the TPG DNS (Domain Name Servers)
Well, TPG uses PPPoE rather than PPPoA like most ISP, and there were a few issues with the MSS before my TPG was working correctly. Now it runs like a dream, no complaints at all.
I'll post the relevant sections below