We had a problem today with one of the servers, it meant a bunch of services weren't working. Never found the actual problem, but something changed and the misbehaving server started working. Learned a lot about managed databases on Digital Ocean. #