An old detail vet told me there is a chemical that he used at his old shop for cleaning carpets and interiors. He said he could not recall the name but it was a chemical that they used in dry cleaning and martinizing establishments. He said it was a liquid and was awesome for cleaning carpets and headliners. Anyone know what this is?