Cara, com esse preço acho que nao tem lente com autofoco. Só se você conseguir um preço camarada em alguma usada...
Como é pra filmar, acho que da pra você se virar com uma lente manual mesmo. Não sou nenhum especialista em filmagem, mas a maioria do pessoal que faz video com essas câmeras acaba usando a lente em foco manual mesmo.
Caça no Ebay alguma 50mm manual e um adaptador. Deve sair até por menos do que 200usd..