Astros Regret Releasing J.D.? – The Astros released J.D. Martinez back in 2014, and