Do they actually work ? Discovered there was a ballpoint pen in my White wash!! Hubby's two shirts have nice big marks on them. Obviously stain has been set now with a nice hot wash ughhh !! Wondering if stain devil would work?