Remember how long it took to put in the elevators at Porter Square?