Great day for porting

So I am assuming since you tubed the pushrod holes, that you ported into the original ones. Is that correct? I'm just curious, how much do you suppose that widens the port? I know it's a lot, but I'm curious about a number.