I believe it's 1/4", I'll go check . . .
Yup, that's what it is. However, depending on the wire size (AWG) you are using, you may only find terminal lugs with larger holes. 5/16 is fine, 3/8 with suitable washers etc. The True terminals are long enough to accommodate most anything you'd need.