I don't think anyone was prepared for this to be something that wasn't covered under warranty or, if it wasn't covered, so expensive.

Where I work there is an insurance policy to cover laptop damage, they are currently in talks with the insurance company to get the damage covered. I think that in the end my co-worker will be refunded the money. I don't think they will be left with the bill.