Yes that's something that I had a lot of fun to read :)

Concerning the question, they actually use a very cold helium gas (and not liquid) as a buffer gas. The antiprotonic helium atoms are then cooled by elastic collisions with the buffer gas.