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? Thank you very much!