Since I was talking about old hardware... I have several (a ton) of old 3.5" floppies. Any way to quickly erase them? Also, what can I do with them to dispose of them? Just throw them in the trash? Thanks.