Frank Muller's design team uses SolidWorks to engineer their watch mechanisms (So does Patek. JLC uses ProEng)