How to deal with vomit on laptop?

We have a user who’s dog vommited on their open laptop and it’s no longer functional. We’re preparing a replacement but how would you manage the “destroyed” laptop?

The drive is encrypted but we usually do a wipe before tossing a drive on the junk pile.

Would you even have this user return the laptop? How would handle it if you did?