Does anyone know what weight Ochoa is wrestling