I recently converted from oil to gas heating. The old tank was in my basement. When the plumbers removed the old oil tank some oil residue got onto the basemnet floor. Inaddition, the actual conversion to gas was rather messy. My basement floor which is concrete is oil splatterd and very grimy. What is the best way to clean this floor?