Frankly, I think you should harass Lax into adding a 3rd authentication server that has nothing to do with his other ISP.
Heck, the 3rd server could just be an on/off switch that lax could set when he's having major ISP problems. In other words, if the first two are dead, he could set it to ON and everyone would be able to use innerspace regardless of authentication during that period. That would be the best in my opinion.