Does anyone know the amount of dollars involved in the bounty paid by Intel?