Eh, MIT has a fairly long history of being hostile to the culture that's developed in their dorms. They really want people to identify with their class year, not their living hall. Eliminating the historic/cultural identify of Random Hall is probably seen as a positive to the administration. See both Bexley and Senior House as precedents where they used building renovation (even when legitimately needed) as cover to eliminate both cultural and architectural history (given that they ultimately ended up bulldozing Bexley).