Comment by mike_d

While not mentioned in the article, it looks like this is the coffee machine: https://www.dejongduke.us/products/coffee-machines/nio/nio/