Short term: on a system with working dns do a whois on the ISP. Use the name servers listed there. Long term: the new PPPd will handle this. The initial support is there. Read some docs, play around.