Ozone Generator Machine200,000mg/h, High Capacity Ozone Odor Eliminator Removal Air Purifier for Home Car Pet & Basement Odor, Suitable for Spaces up to 7,000 Square Feet, Blue

Basically get a high-performance ozonator machine or two, such as this (no affiliation: https://www.amazon.com/Amgwhhoo-Generator-80-Capacity-000/dp/B0DQ238RWD ) 100 to 200 grams of ozone made per hour (20 grams/hour = 200,000mg/h). Close all windows etc. Set them in the outlet by an entry door where you can quickly unplug them. Let 'em rip for a day. Have the house sit for an extra day, then air it out. Be sure to familiarize yourself with ozone (it's just activated oxygen but to pets or someone with asthma etc exposure to concentrated ozone for more that a few sec can be bad) and follow all precautions, including labeling all entry points accordingly.

This ozone generator is the overall solution because it gets into every nook and cranny. Be very careful how you use it. It works on musty basements especially well. I can’t figure out why everyone doesn’t have one. https://www.amazon.com/Amgwhhoo-Generator-80-Capacity-000/dp/B0DQ238RWD

https://a.co/d/0dzAlBWR Surprising how few people know about ozone generating machines.