Science How do professional observatories deal with dew? Do they heat the mirrors and lenses like amateurs do?