No doubt. While Marvin's criteria was to consider any player whose number is not retired, it is hard to call someone who would make the All-Time Astros lineup card an underrated player/
Which by the way, that one is always fun and came up not too long back around here. If the rule was to assemble an all-time Astros lineup where a player had to play a minimum of three seasons here and you had to take the totality of their work (not just one peak season, for example), AND you cannot cheat by shoehorning a player into a position other than their primary one(s). This last one is the tough one for me as an Astros fan and such a big Biggio fan because while I still put him in the lineup as C (Altuve gets the nod at 2B), Biggio's bat was not special as a C (which is why I put him at the bottom of the hypothetical order).
For me, I would go:
CF Cesar Cedeno
2B Jose Altuve
LF Lance Berkman
1B Jeff Bagwell
DH Yordan Alvarez
RF George Springer
3B Alex Bregman
SS Carlos Correa
C Craig Biggio
Bench: Jason Castro, Kyle Tucker, Moises Alou, and Bill Spiers
SP Justin Verlander
SP Roy Oswalt
SP Nolan Ryan
SP Roger Clemens
SP JR Richard
Bullpen: Billy Wagner, Dave Smith, Joe Sambito, Ryan Pressly, Octavio Dotel, Mike Scott, Joe Niekro