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.
