panix.com hijacked

Anyone happen to know if panix.com had their registrar-lock set
when this happened?

-mark