Thanks for looking into this! I think I found a dataset from BLM that contains the relevant polygon: https://gbp-blm-egis.hub.arcgis.com/maps/df026e4da520481ea929cf4b400d8266/about

I'm happy to import it, but am a little unsure as to license compatibility. The "license" copy on that page is not very helpful...