You have to file the top edge of the pushrod openings as the angle the pushrods travel are slightly different. If the factory machined the top edge of the pushrod opening a little nicer you would not need to file. You are really just rounding the edge. Not hard to do just have to be very careful with the filing and shove rags down the holes and vacuum them out, using q-tips and blow a lot of air to make sure it was perfect. By the way I am not even sure you have to file them but I wanted to make sure the clearance was all good. It was very close. I attached the roller rockers manual below.
https://assetcloud.roccommerce.net/files/_sscycle/6/8/5/510-0041_billetalumraxwedge_20120215.pdf