Now this may not be considered a mission anywhere else in the world - every vending machine either didn't even carry diet coke, or they were sold out.  This must have been our 8th vending machine that finally yielded the very tasty, and Japans sugary mix of the diet drink.