"Wash out" is apt because "wash" means clean, and "out" tells you that the shoe polish has gotten into the creases in the skin of Ben's hands.
"Get out" also works, but misses the connotation of clean.
"Clean out" doesn't work, possibly because of its other slang meanings.