Just picked up a mint red-point 917, made in germany, at a local antique shop for $30... Pics to follow.