Acho que o ebay como referencia vai deixar tudo que é vendido no Brasil bem caro...
Sobre o preço, pelo que você falou, com os manuais originais e tudo, vai ser mais caro que a média de qualquer jeito, mais R$900,00 já é meio salgado...
Aonde você viu ela, foi particular ou em lojas de fotografia?