Interesting video. It is a typical tungsten-carbide PC board drill bit. I use those a lot in my hobbies. While the bits down to #80 can be relatively inexpensive (the re-sharepened ones), anything smaller than #80 gets quite pricey (and extremely brittle). I'm pretty sure the manufacturing process is similar for the larger bits (but likely more automated).