Samsung microwave recall

Had our 2001 Minnie Winnie plugged in next to our house in preparation for our Fourth of July. Our circuit breaker tripped in our home, I reset it and went out to the RV. The Samsung microwave had turned on its own and was running. I removed it and brought it inside. I pulled out our leather bag with all our owners manuals and stuffed inside I found a unopened recall letter sent to the prior owner. We bought our RV from a dealer in the area and this recall was clearly missed. Luckily it didn't burn our RV down. Long story short based on my research, calls to Samsung(still no idea how they will respond) and the selling dealer it will be up to me to source a new microwave. Last info I found was Samsung after a while sent a check for $200-$250 as parts and repairs aren't available. My selling dealer seems open to working with us since we were clearly sold a RV with a open safety campaign, but that is till a unknown. That said what models work with a overhead installation? Do I convert over the vents screwed in on top and the bottom?