My understanding is that there's a number of okayed methodologies for assigning options. For example, first-in-first-out (FIFO), and random assignment. (I know of no others.)
My question is, where does an option seller go, who prefers the random assignment method, instead of FIFO...