But for me ATM is like milling, it's a machine that has machine in its name. It's not like lathe, probably because I've grown up surrounded by people that call it an atm machine. You cant fight language after a point - there's a point where double negatives are grammatically incorrect, and there's a point where we are at now where wikipedia just classifies some dialects of english as having negative concord, where multiple negatives affirm (instead of contradict) eachother. Same way, at a point it probably makes more sense to talk about redundant acronyms as just a thing english does than try and say that a construction that a lot of people use and that everyone can understand is a grammatically incorrect thing. So ATM vs ATM machine becomes a dialect choice rather than some grammatical discussion, like British vs English spelling