We have learned this about timings:

Color filters – it takes from 15 to 45 seconds to change a color filter. Mainly it takes 20 s, with exceptions.

SKE – it takes a full minute to set the SKE.

An image takes 0.3 s to be downloaded and written to disk.

Dome takes about 2 minutes to open.

One circuit of dome takes about 2 minutes.