The Astros had been by no means significant in excess of retaining Carlos Correa