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."


Life is short so make sure you spend as much time as possible on the Internet arguing with strangers.

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