I just got an El Cortez red cap--what's the deal with the size of the plastic case? Are these the kind of cases that we'll see with all the new strike machines? I'm sure I can't do this, but is there anywhere I can get an "old" red case to replace this one? I can't provide a scan of it since I'm at work right now, but maybe later this evening...Thanks in advance.