I don't really have an issue with the baristas at standalone stores. The issue with ringing up a short occurs with the licensed stores, like ones you would see in a grocery store, bookstore, or airport.

That said, my workaround in those situations would be to order a doppio and add my own half-and-half or milk at the self-serve station.