Are they going to keep all three Colorado Springs locations? Or are they planning to eliminate some of them and close the shop? What are your thoughts?