The PO of my 260 had a couple of dogs that he would take sailing. Having alergies, I want to wash all the interior seat covers. Is it OK to wash these with the house washing machine or are these a dry cleaning item? Its not like they are filthy dirty but visible dog hairs and I'm sure some dander. Has anyone removed these and washed them?