I found a pocket knife on the laser cutter nearest the backdoor (Blitzen?). I forgot I had it in my bag so it ended up at home.
If you or anyone you know is missing a pocket knife please let me know.
In any case, the next time I’m at DMS I will leave it in lost and found.
(Would it be a good idea to add a Lost & Found section to TALK?)