My son left a pen in his jeans, needless to say I have washed and dried an entire load of his clothes getting ink on everything, is there anything that will get it out?????? I need ideas