note that this is the second round in the last few months, so Redfin is really at more like 30% down.