Yes, the random choice is with timers with random timeouts, using the target block time as the average.
In strict rotation mode, the first round will be determined randomly, and after that the next miner will always be determined by the constraint on mining two blocks within the window.
Unless you are really confident that none of your mining nodes might drop off the network, we recommend using a mining diversity value that allows for some leeway.