Hi Ian: Try a bucket of good old HOT water and good old industrial type mop. Sounds like hard work, but it does the job. Best of wishes in the holiday season. Best regards. Dr. R.