When I was growing up, my parents had the exact vacuum you ask about. Bright red and everything. They must’ve gotten it from Sam’s club because they love those club warehouses.
Since I got used to seeing that one so much, I always assumed that red was the standard color for that vac and that the marlins and blues were the rare ones. I guess it’s the opposite, because I can’t find even a picture of the bright red one. If you find one, please post a picture. It would be cool to see it again just for the nostalgia.