Well it would have to be second-hand as I can't see any vendor selling them. I have a TK10, it was one of my first lights that got me into this hobby, it's a good six years old, has a few marks on it and doesn't seem to give it's full output. The high/low mode does work though. If you or your friend are good at refurbishing lights you can have mine. Maybe it just needs a good cleaning and fresh batteries, i'm never going to use mine anymore anyway. If you want a (most likely) better quality one check
here, it's a Dutch "ebay" kind of site. That's the only one I found here.