Em minhas partidas essa situação ainda não aconteceu.

É um pouco estranho o fato do jogador - já com uma oficina cheia - acessar a mina. Entendo que é parte do jogo ele entrar ali única e exclusivamente para bloquear o adversário, mas não parece ser interessante, visto que além de não poder coletar nada, ainda perde 3 recursos e deixa de fazer outra alocação produtiva, uma vez que ele tem a oficina cheia e muito provavelmente pronta para forjar uma arma.

Mas respondendo a sua pergunta, me parece mais claro que seja a opção 2, mesmo ocorrendo essa situação supracitada.

No nosso caso, aconteceu de alocar um ferreiro na forja e o outro na mina.

Com isso, executamos a forja antes de acessar a mina, evitando que a oficina esteja cheia quando for o momento de acessar ela.

Isso me parece como se estivéssemos burlando a regra, mas como não ficou claro pelo manual, acabou virando house rule.