Not sure how to pick a new dryer - if our washer has a 9kg load - should we get a 9kg dryer - or does it need to be more?