Planning after-work walkarounds in downtown Seattle, mostly 8–10 pm. Budget $700 used. Would you go a Sony a6000 + Sigma 30/1.4, or a Ricoh GR III to keep it pocketable?