OLYMPUS PEN E-P3/E-P2/E-P1 part56

半年ほど前にEP-3の標準ズームキットを購入してました。
カメラ自体がコンデジを持ち歩く程度だったので楽しんでいます。

ただ、外で撮るときはいいのですが、撮影する状況が薄暗い居酒屋やカラオケなどだと、標準ズームだと画角も明るさも限界を感じます。
そこで追加でレンズを買おうと思っているのですが、
LUMIX 20mm/F1.7とZUIKO 12mm/F2.0とで迷っています。
20mmだと今のズームレンズと画角は被りますが、明るく、普段の持ち歩きにも便利、しかも安い。
12mmなら今のレンズより広く明るく撮れる。しかし大きく高い。

どちらがオススメでしょうか？
また20mmのAF速度が満足できるものかどうかも気になっているので、お持ちの方は教えて頂けるとありがたいです。