Currently the real internet is being run on around 2.5k public servers