Yup, confirming over here...
...I suspect it was our core ISP's problem... cause on the remote desktop of our squadron server I could normally see the 373rd server in the list, that server is on another ISP's network.
Fortunately, I managed to get in... the server magically reappeared in my master list after the "ipconfig /flushdns" command... but maybe it didn't matter at all...
All in all, seems like bad luck... :) I think we should make a rule that:
ALL PARTICIPANTS JOIN SERVER 5 MINUTES BEFORE MISSION START AND WHOEVER IS NOT IN IS FUBARED... LOL
Cause from our experience, later hopping in by other players just desynces everything and brings lag and the server down, which is exactly what happened last night, methinks...
Nevertheless, it was great fun... ;)