As an additional data point, I live in the area and they just furloughed a lot of employees last week. Not sure the exact percentage, though.