Circling back to this, I picked up the SLR Magic 8mm. It is unchipped and totally manual, the minimum focus at ∞ is short enough that I've set it at ∞ and left it there.
It works fine for video and.jpg and DJI DNG Cleaner works to convert RAW files. I was surprised when I converted from RAW that...