20 year old carpet, not heavily used but we have had builders in so not looking great. I've had quotes of £700 for the room. Deciding between this or getting professional cleaners in. Rest of room brand new. What would you do?