They had cyber insurance coverage[0]. But I have no idea if cyber insurance pays out ransomware ransoms.

[0]https://www.insidepandc.com/article/28is3dljuei18ioo7fri8/ax...