The proposed action is to demolish Buildings 9111, 9112, and 9616-10.  None are historical properties.