Karen withdrew money from the ATM machine at the drugstore.
"I think that man has the HIV virus," Ellie said.
Although I hear both sentences, they contain redundancy or what a friend calls an echo. If you like saying something twice, don't change anything. ATM means Automated Teller Machine. HIV is an acronym for human immunodeficiency virus. The final letter of both words explains what they are, so why repeat?
When I use acronyms such as HIV or ATM,
I don't repeat the last letter as a word.