My son had a 8100 one time that he forgot to take out of his pocket and I didn't check before I washed them. So needless to say when I took the clothes out there was a extremely clean 8100. It was useless or so I thought. I let it dry for a day and like you said some of the buttons didn't want to work but everything else did. I let it dry for a few more days (battery out) and it worked good as new.
However, my hubs dropped is 8200 in the tub for just a quick sec and it was toast. Never returned.....lol