It’s about 2-3X more expensive so about the same token efficiency as 1017. I can see this being a good option for the US.

Wow, that's pretty good.