The "lost" tea mug

I remembered something recently, something I had forgotten about the office I left: I think I forgot to take back the tea mug I had brought there since my first day three years ago or so. It was my work mug. It was nothing special, in fact I chose to use this one at work because it was an old mug bought back in 2007 or 2008 from students in an outdoor market. It's not even pretty. So I am wondering if I should ask the former colleague I got along best to bring it to me when he has time, because it is still my mug, or just not bother as it is the past and I am moving forward.