No, as a matter of fact they do stain badly. If you read the instructions for dying fabrics in washing machines, they get very detailed about taping plastic around the top of the machine and covering the lid the same way. Then they say to run the machine through a cycle with hot water and bleach and to clean the top, even porcelain tops, with bleach and water to prevent transfer of the color to subsequent loads.
Page 10 in the owner's manual for the 1961 Imperial models on "dyeing fabrics automatically" lists the following steps for after the dying is completed:
CARE OF WASHER--Wipe off spill-overs from washer promptly.
TO CLEAN WASHER AFTER DYEING CLOTHES--Add 1/4 cup of detergent to washer. Place 1/2 cup of liquid bleach in Bleach and Dye Dispenser. Set Fabric Selector to REGULAR WHITE & COLORFAST. Set the Load Selector to NORMAL. Let washer go through complete cycle. Then wipe washer top and wipe out traces of dye in tub.
NOTE: Although Agitator and Bleach and Dye Dispenser may become discolored, this will not rub off on clothes during subsequent washings if washer has been cleaned as suggested above
The model shown with the RIT was the WI-58. It had the metal dials on the control panel. The WCI-58 was the model at the bottom with the dials behind the plastic that covered the control panel. The DCI has a fill valve that offered the following temperatures for wash: Hot Warm and Cool, and for rinse: Warm, Cool and Cold. 1958 was a big year for that three port valve on top of the line washers.
When we found the WCI58, it had red overspray from paining on the plastic control panel, but a little toothpaste on a cotton undershirt buffed it off in no time without leaving any scratches. The porcelain tops would look really bad with the scratches, but a solution of half bleach and half water bleached the dirt out of the scratches and they became almost invisible.