"When completed at year-end, the Autoban-designed dormitories will have a wide range of amenities such as restaurants, a gym, a library, a lounge area, and a rooftop pool." . . . .