What the heck is DEET, anyway?