From what I can understand - WMS did not want a Pinball section - regardless of whether it was profitable or not. It was a bad decision but stockholders were duped into thinking that there was no future in making pinballs.
The rights were then split and sold to ensure that wms never made another pinball machine.
