I think because you started off with aluminum heads they just took care of it. I was just going to use my x heads and work with the cast iron like that is what threw the brakes on. This is why I'm switch to aluminum heads.
I think you're right. They just took care of it, but I would have liked to know what was done! It doesn't show up on my receipts anywhere saying they ground the pushrod holes. lol Anyways, I hope you get it all sorted out, and go with Edelbrock heads. They aren't that bad, and will perform as intended. :)