keywords: marlins koch castro pitcher ramon
text: Koch off the hook; Marlins release pitcher Miami,FL (Sports Network) - The Florida Marlins released reliever Billy Koch on Tuesday, while catcher Ramon Castro opted for free agency.