$$$ For re-stretching carpet