I put the miners in the garage and bought two of these from Home Depot for a total of four vents. I have two garage doors side by side and it worked very well last year.
https://www.homedepot.com/p/WindeeVent-2-75-in-x-12-in-x-17-5-in-Aluminum-Garage-Door-Vent-2-Pack-WV1001W/205911851


Check this link and scroll down for example of a door
https://windeevent.com/about/hoa/


On the top vents i tightened the ends of bungie straps on four of the bolts to hold this fan with the stands removed blowing outward.
https://www.homedepot.com/p/Honeywell-12-in-3-Speed-Whole-Room-Circulator-Floor-Fan-HT908/203684186?MERCH=REC-_-NavPLPHorizontal1_rr-_-NA-_-203684186-_-N

So essentially the hot air was blowing out at the top of the door and the cool air was pulled in from the bottom.