17mm f4 on the Red Scarlet at 4k