Hi Rita, yes "better living thru science"
It turns out it wasn't quite the last packet, I found one more in a Chinese grocery store. Unfortunately, the variety is just given as "Chinese Cucumber". (It may be more specific in the Chinese text, but I don't know most of the characters.) The picture shows them as looking rather long, not necessarily straight, and with some lengthwise ridges. Could be like the ones Chelle mentioned. I had some compost left so I dug it in & made a few hills. It's turned cool & rainy around here, but we'll see what happens.
Meanwhile the Milas are maturing all over the place. There are going to be way too many to eat right away. Since the info above says they're a pickling variety, maybe I'll try that. Anyone have a pointer to a pickling "how to"? I've done some canning, but never tried picking.