First of all, I offer my kuddos to the Disco team for all your efforts. 4.85 is amazing!
Concerning the added server, yes I would support $'s for a second server to help reduce lag. Your option #2 seems like a nice solution.
I understand the player limit will remain at 200. This will not be an issue in the long run. Wait until the summer break is over and homework is assigned.:)
Also may I add a thought for the future development? I would like to see the player list reduced. Meaning eliminate showing the player(s) location and level. I think this would add some extra realism to when jumping into a system.
Then to add, (not sure if it's possible) make the player location visible only when other players are close to trade lanes in system (say 8k) and your ship is also within 8k for that system only. Therefore, no trade lanes in system.... no locations or levels are known. Anyway I think this would add to the effect that systems are big.