I wanted to switch to DS4.1F from K3 (not even K3.1). Even the 1017 snapshot takes 5x-10x the tokens that K3 uses for the task, and often misses more intricate gotchas that K3 catches.