Is that Carlos Marmol wearing the # 63 Rodriguez jersey for the Marlins tonight?