Teflon polishers: their manufacture and use