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. ---------------------------------------------------------------------- Jon Lewis | I route Senior Network Engineer | therefore you are Atlantic Net | _________ http://www.lewis.org/~jlewis/pgp for PGP public key_________