This all sounds very sensible. NPR’s Planet Money podcast went into some detail about the economics of fair allocation for the New York Marathon - they reference the solutions you mentioned and a few more as well!
https://www.npr.org/2020/01/03/793488868/episode-962-advance...