Correct.
ell, we do have a slight update: Hopefully by the end of this month (january) it will be packed up and shipped to Utah. I would guess that by february it will go online again. 🙂
There is also some progress with the dome issue in Spain, where we will get a new dome by (hopefully) march.