Just checking, "4mil"? When I see (or hear) "mil" I assume millimeters, which clearly isn't right here, but I don't know if this is autocorrupt or if this is shorthand for something else I've never seen called this before, say "1e-4 meters"?