Trabalhando com arquivo em PHP

Ola pessoal, estou com dificuldades para desenvolver um script de manuseio de arquivos.

tenho o seguinte conteudo no arquivo txt (arquivo.txt):

>
opcao1=1000

opcao2=2000

opcao3=3000

opcao4=4000

tenho o seguinte script:

<?php
$linhas = file('./arquivo.txt');
foreach ($linhas as $linha) {
$dadosEscolha = explode('opcao3=', $linha);
$linha = $dadosEscolha[1];

echo $linha;
}
?>

Tenho de retorno do "echo": 3000

Se eu dou executo um echo fora do loop, nao tenho nenhum retorno. Ja tentei usar o unset(), mas continuou sem retornar nenhum valor fora do loop. Alguem poderia me ajudar a tirar essa duvida de como obter o mesmo valor em uma variavel fora do loop?

Grato.