LOL I flew lots of times on B777's and B767's didn't even know they had the machines. I saw the small cups being served to some people and concluded they'd run out of normal mugs. I noticed them machine when I was waiting for the bathroom (the machine is in the galley, so don't panic!). So, I had my first Cappuccino on the way to the bathroom and took two cups back with me (one for a colleague).