valve guide boss diameter OEM Magnum head?

Is it .530?