Koster det nærmere 10 milliarder kroner å skrote Helseplattformen?