Any copper traders out there? I've just noticed that COMEX copper futures have decent volume (~20k contracts trading hands), comparable to silver in fact. But the options basically isn't traded at all. Any reason for this? Are copper options traded in some other form that I'm missing?