ok, just checked, and yes, those settings are correct. Looks like I'm going to be contacting my ISP about taking the d--ks out of their @$$es and letting me use the service I'm paying for.
In that case I should be able to get on through the DMZ of my router with the correct directory server settings.