They created the waterproof(!) IWC Ingenieur SL Pocket Watch ref. 5215. Great watch. I owned the example in the pics here. Commercially a total fail. A few hundred (max.) produced and sold between 1982 and 1996.
I loved it. But I sold it after a few years. A pocket watch is - say - not entirely practical.
Cheers, HSTE