The ISP changed the IP. DNS records are updated accordingly. Ark.HappyDiggers.net:##### addresses will work again.