Usually you run NS behind anycast, so the actual number of servers can be vastly bigger. But since this is NK, maybe 5 is reasonable.