Found original part?

[Dyne]

Interesting... transparent filament wouldn't work as a lens, but it might be an interesting effect (ends up kinda frosted, at least with ABS).  It could also be illuminated then.

True, it wouldn't be fully transparent. Frosted could be useful if you wanted the look of, say, 327-T from Clone wars.

My interest is primarily getting something to test fit with.  I think a model would be useful beyond that, though.

Just off the top of my head, you could possibly use the file on a CNC mill to shape a piece of clear acrylic, then polish it.  Or use a piece of milled wood as a blank for vacuum forming a part, similar to the BB-8 Radar Eye.  Or print a mold to cast the lens in clear resin.