Astros need to keep Jeremy Peña long-term. How much will it cost?