Hat Creek Radio Observatory · Old Station, California · Hottub