On the maps, a Green dot next to player's name signifies that they have taken their turn and there is also a Red one for something too. So I'm wondering if it would be a difficult task to have a colored dot to signify that a player is using the AUTO-PLAY feature. Maybe a yellow one?