A hypothetical RDOF do-over: Simulations of the auction results under different rules (Mike Conlow)