Just a bit of thread drift here.
The IAI-1123 was a Commodore Jet, not a Westwind. I flew a couple of 1123s many years past. That aircraft was badly underpowered. On one of them with full fuel the FO could not weight more than 87 pounds, or we would over-gross before adding a single passenger or a bag.
I heard that the 1123 was originally designed to have General Electric CF-700 engines with 4700 pounds of thrust, however, as IAI was building the first 1123 it was decided to put the CJ-610 back on the 1123 and wait for the then new TFE-731 and rename the aircraft.
IAI and Atlantic Aviation, the US distributor for IAI, had a contest for the new name, of course the wining name was 'Westwind'.