The 2k12 user manual stated that the servers would be shut down in November, 2012 .......