THE EMPIRICAL CHALLENGE: We can't directly observe bidder valuations, so we combine auction theory with data on outcomes (no sale/noncompetitive sale/competitive auction) to structurally estimate bidder behavior using data on BLM auctions, then simulate different auction formats.