Since the 10-17 was also sold by Tokina in other mounts, I did a search for replacement lens caps for that, and found a thread where the B+W 60mm plastic push-on cap is reported to work well. I think it is around six dollars at B&H. I'm tempted to try it just because my metal cap likes to come off and rattle around the bag.
Edit: It looks like the cap is sold by B+W, but every picture of the cap has the Schneider-Kreuznach logo molded into it. Since my 10-17 is actually the Samsung-badged version, and Samsung paid Schneider-Kreuznach to use their name on lenses (even though neither Samsung nor Schneider-Kreuznach had anything to do with the design), I guess I
have to buy one now.