Well, how difficult is it to switch to something (much) cheaper like DeepSeek v4 flash?