It’s amazing what some electronics will take.
Last summer I took off my hearing aid and put it in my pocket. {very noisy room and I couldn’t hear but the device made the noise louder] Later my while I was showering, my wife grabbed my jeans and washed them. The hearing aid survived the wash and also survived the electric dryer. The battery died in the process, but a new battery restored everything.
The hearing aid survived the wash and also survived the electric dryer.
_____________
You were lucky. I’d be afraid to try that with mine.