If the token auction is lagging the game, then I suggest we remove it. Since tokens are not as rare as they once were, the token auction has become a holding place where people can hoard them rent free.
I suggest in place of a token auction, we put in a slot machine where you put in a hex and 1d100 x1000 gold falls out.
The auction isn't going to work out for tokens. It's always just going to be abused to hoard them and avoid rent, unless it is radically altered. If it's slowing down the game, please take it out.