Additionally, people are already used to $ meaning multiple things like USD, CAD, AUD and they seem to get it.

So using the same argument (it’s clear from the context), we could use $ for sats, no?