where is whois.arin.net?

[Jon Lewis <jlewis () lewis org>]

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_________