Ask HN: Did Garmin pay the $10m ransom?

As Garmin is starting to come back online from the ransomware attack, news outlets are reporting the attackers were demanding a $10m ransom. Security folks out there: How likely is it that Garmin paid up to regain access to their devices?