K7升級 K5iis 還是 K3?

目前使用的K7已經跟了我兩年多快三年, 最近在猶豫要不要換 K5iis 或 K3, 但也有在想乾脆K7繼續用下去, 等全幅機出了之後再換 (但以Pentax更新的速度, 不知道要等多久...)

小弟因為喜歡旅遊的關係, 大部份都是拍風景, 街景, 夜景和建築居多, 有時候也會有少數人像照. 現在是K7 + Sigma 17-50mm f2.8, 使用到目前為止覺得很滿意, 但由於K7的ISO不夠高, 在拍夜景或是環境比較暗的時候就會出現噪點... 再加上看到 K5iis 和 K3 拍出來的照片, 讓我覺得現在應該是升級的時候了.

鏡頭部分, 由於喜歡拍景, 17mm 有時候對我來說有點不夠廣, 拍不出空間感和氣勢磅礡的感覺. 目前在考慮SMC DA 15mm f4.0, 還有 DA 12-24mm f4.0

DA15對我來說只有輕巧而已, 畫質感覺沒有DA 12-24來的好
猶豫DA 12-24的原因在於這顆鏡頭在12mm的變形控制的不是很好, 而且貴....

請問各位有什麼建議嗎？
另外, 機身和鏡頭選一個的話, 哪一個優先升級呢？

感謝大家！