Someone forgot this pen at my desk. It’s awesome. Who knows what brand it is or where to buy one of these?