These three servers will be taken down on Sunday October 10th  to fix a problem with the RAID controller. The downtime should be less than 1h. All three servers will be taken down at 6pm UTC.

Update: The maintenance work is now completed on all three servers.