where is whois.arin.net?

whois.arin.net appears to have been down for at least the past hour or
two. Anyone know what happened or an ETR for it?

ARIN seems to block ping/traceroute at their border, but www.arin.net is
still usable. The web frontend to whois at www.arin.net seems
nonfunctional at this time as well.