IWC Portuguese Minute Repeater (reference 5240), a 42 mm platinum watch introduced in 1995; now discontinued.