Personally I'd make the lens board at least 100mm/4", then you have a bigger choice of boards and lenses. Anything much under 100mm and you may have trouble with the faster wide angle lenses. It looks like the front standard is plenty big enough.

Do you do a lot of 3D printing? I'm looking at using it for a lens board conversion shim if I can find a service that does black ABS.