When old says ATF.. i figure he's talking cheap stuff. whatever is on sale . at walmart.. jiffy store.. dolalr store.. whatever.
I'm sure a/f/dex/merc works fine.
I use jiffy store atf.. don't even look a tthe type.. just grab the cheapest bottle on the shelf..