In my larger project to display some of my favorite comics on the wall of my garage
I wanted to include the 'Mars' comics & characters.
You didn't list -- but may already know about -- Lars of Mars (Ziff-Davis), recently reprinted by PS ArtBooks. Had some nice Murphy Anderson art.
Also, there's Cosmo the Merry Martian from Archie Comics, which is periodically revived.
I had completely forgotten M.A.R.S. Patrol. I remember as a boy thinking it was bait-and-switch to put "Mars" on the cover when it was just an acrony. I wanted action on Mars, dammit!