PBR ain’t tube the bolt hole. I doubt that it’s needed. If it was, he would have done it. You can straighten that wall out really good and widen it though probably not needed.
Tubing the pushrod holes with a brass tube from K&S plumbing supplies I got at a ACE hardware store was an easy thing to do. Just mix up some JB Weld to keep it there and now you can widen the port to the brass. It’ll get pretty good doing that.