so how big is this parking lot?