UNLV is selling land to the Boring Company for the Las Vegas Loop