Three eights is more than a month of downtime every year. Today is the three eights.
This felt wrong to my intuition, but, no, you're right: (1-0.888) * 12 = 1.344.