To work around the DNS issue, the people with issues could edit their HOSTS file and map the (current) IP address of the site with bad lookup themselves so their device will show it correctly? Yeah, not an ideal fix but would work if the ISP wont fix it.