University officials did get permission to sell part of a parking lot to the Boring Company so it can tunnel underneath it.