If the file was set to "download", yes.
The thing about the crazy " # " symbol on top of the eye, is that it can not be printed on a filament based 3d print machine. Unless you added a crap load of supports.
I don't think I set the eye to be downloadable, simply because it took about a week of modeling and fine tuning the details.
I can, however, send you the files if you want though. Just don't sell the file / casts of the Eye, since I'm going to be selling them myself once I get it molded.
I plan on having my Eye ready to cast by Sunday. It's already sanded, cleaned, and smoothed. I just haven't sat down and done it yet. I have enough electronics for 4 sets (Green micro LED with button cell battery/battery holder).