Bob, according to this

https://www.livescience.com/sanitizing-medical-masks-for-reuse-coronavirus.html

"70 C / 158 F heating in a kitchen-type of oven for 30 min, or hot water vapor from boiling water for 10 min, are additional effective decontamination methods."


Whenever I get something stuck in the back of my throat, I dislodge it by drinking a beer.
It's called the Heineken Maneuver.

64 bit Win 10 Pro, the latest BiaB/RB, Roland Octa-Capture audio interface, a ton of software/hardware