Did the Cards overpay for Randy Choate?