Those are all great. I've also given Dune, the Forever War, and The Stars my Destination.
I enjoyed Red Mars but I really had to slog through Green Mars and Blue Mars. Red Mars was fun and interesting, but I could have done without a few hundred pages of Sax Russell talking about plants in Green Mars.
I think worldbuilding books take a certain level of investment, even among voracious readers.
I never found Dune all that great.