Raised Port Head Question

I’ll keep you in the loop. Probably won’t be back in the car for a month or so. How much are the exhaust ports raised, a quarter inch? I know they are tight but till figure something out.