That's a useful gadget - I'll likely make one for myself.

I recognize those magnets because I always buy old hard drives for next to nothing at garage sales just to harvest the magnets from them.