I was going to say no tipping necessary, but you made me think about it. I believe I would tip her. Even though it's kind of like going up to a deli counter and getting something ready made that is just on the shelf, you don't have to leave your office to get lunch or a snack, so it may be worth it, especially at this inclement time of year.