valve guide boss diameter OEM Magnum head?

I just measured one in the shop. it is .530