Is having 35mm lens use that big of a deal at 2K RAW if you can shoot 4K RAW and then process down to 2K or whatever you want for the final product? Is it just a space issue on the drive? This is also a self-serving question....looks life investing in a super16 lens isn't such a bad idea either.