[Dobbs]

Since they offer TCP in addition to just HTTP I doubt they use Nginx.

Possibly they use Nginx for the HTTP balancing only.