There is hardened glue from the linoleum tile that was laid on bare concrete in our basement that I need to remove before proceding with leveling and re-tiling. Scraping, even with a power scraper, is not doing the job. Are there any solvents or other agents that will loosen or soften the glue so it can be removed more easily?