IWC has stopped and started production ... To launch a completely different version of the Ingenieur. It was an usually big watch back then. It got the nickname “Jumbo”. How was it received?