I agree. Just never had a woman give me her number, so no experience in whether I would or would not call her back, nor would I leave my number. Lots of dating videos in the Girls Who Broke Your Heart thread back in the day that pretty much said always get her number.
I eat lunch there at least once a week, so I know I’ll see her again. I may bring it up once more, but I’ll drop it after that.
EDIT- She just sent a text and said she would love to have coffee and would get back to me soon on a time and day.