No, my argument is simply that the currency should pass the grocery store test.

If we keep Sats as Sats and rename the whole currency as Sats, that's fine. (It's what'll happen anyway over time.)

If we keep the currency as Bitcoin and rename sats as Bitcoin, that's fine too.

Both options work. Take your pick.