A F4 por esse preço é um bom negócio.
QUanto às lentes vamos lá, tentando complementar o que o Lee disse:
As lentes DX e FX ou de filme, todas, não vão dar vinheta na D5100. As lentes DX, todas, vão dar algum tipo de vinheta na de filme.
A razão disso é que o espaço entre o fundo da lente e o sensor são diferentes no caso das cameras DX.
Se vc for comprar lentes novas da Nikon, que sejam as G (sem anel de abertura) ou AF-S e AF-I, essas lentes vão funcionar na D5100, pois, essas lentes têm nelas o motor de AF. Mesmo que elas sejam lentes pra quadro inteiro (FF ou FX). Essas lentes com motor interno, e, sem anel de abertura, vão funcionar na F4, porém, como elas não tem o anel de abertura, esta passa a ser controlada pela camera, mas no caso deste modelo, não tem um dial para isso, dai que ela só funciona nos modos onde a camera controla sozinha a abertura (P e S).
No caso da F80, ela é um modelo de 1999, nessa época já existiam as lentes com motor interno e sem anel de aberura, por isso que ela é compatível com estas lentes. Na verdade, a F80 é uma versão "pobre" da F100 - corpo de plástico, jeito mais "amador".
Outra coisa, as lentes AF-D (sem motor de foco), funcionam com autofocus na F4, F100, F80... na D5100 não, pois ela não tem motor de foco no corpo.
A sua escolha deve se dar pelo tipo de lentes que vc pretende comprar. Se vc for comprar lentes AF-D (a 50mm antiga, a 28mm, 135mm, 80-200 f2.8 e por ai vai das lentes "antigas"), tenha em mente que vc não vai poder usá-las 100% na D5100. E também pelo tipo de fotografia que vc vai fazer... se vc quer usar filme pra valer, ai vale a pena investir e tal, tipo, se vc quer explorar isso como meio de expressão ou hobby, poxa legal. Agora, se for só por curiosidade, compra qualquer corpo barato, pois vc pode daqui a um tempo enjoar ou sei lá... filme envolve revelação, digitalização, ampliação, fora que tá uma porcaria pra achar filme, hoje fui na Capovilla deixar uns cromos pra revelar e a geladeira deles tinha pouca coisa e tudo caro... então dá uma pensada...
Quanto aos controles manuais na transição da superzoom pra D5100, eu não conheço a outra mas a D5100, em termos de ergonomia, pra usar como deve se fotografar, eu pessoalmente acho muito ruim. É uma camera que eu achei bem dificil de mexer... mas enfim, é uma opinião pessoal (de quem passou por uma N8008, D80, D7000 e NEX-7)...