What diameter is the hole for the lifter?

What diameter do you think was used originally?

~ .990"?