They're foul. The previous inhabitants of the house kept their coal in the porch on a palette
so the whole place is ingrained with coal dust. They've had a mop out before the walls were painted but now I want to give them a good scrub.
Any suggestions as to which products to use? I've got access to a steam cleaner, Flash, bleach, sugar soap, Cif, and various other chemicals.