Maybe, but unlikely. I think it's more of an "ethics" issue (read: attackers don't want to get more heat than needed and also the HSE would have trouble paying for it)
Yeah looks like they did gave them the decryption tool.
I just know quite a lot of cases where non-health related systems were hit with ransomware over here, and that was the route they took to recover the data.
Goverment agency hires a contractor for data recovery, the rate is Ransom + flat rate. they just pay the ransom and recover the data.