While I haven’t had a chance to test these for accuracy, I was excited to find them while looking for some tube lens specs! You can find the file set here. These designs include some of the common infinity corrected objectives, as well as tube lenses, from every major microscope manufacturer.