Pena is a Red Sox. Arroyo is now a Red. It's official.