Amigos, ficamos com uma dúvida num tema bem específico de fim de jogo que o manual nao determina o que fazer:

No fim do jogo, perdemos $1 para cada marcador de insatisfação no restaurante mas além disso o manual diz que o jogador que tiver menos insatisfações ganha $3. Acontece que tivemos 2 jogadores empatados nesse critério. O que fazer neste caso? $3 para cada jogador? Ou dividimos o $3 entre os jogadores?

No caso dividimos os $3 e arredondamos para baixo ($1 para cada) e que na soma total dos pontos acabou ficando relevante ja que um desses jogadores ficou $1 atras do vencedor

Sei que este cenário é bem específico e normalmente nao fará diferença na maioria das jogatinas mas existe algo oficial nesta regra? o FAQ aqui do Ludopedia também nao fala nada... O que voces fariam?

Abraços e obrigado