Does anyone know if these are made anymore? I am looking for one and can often find the 40, I like the 9 a little more. Chip