 And then a second desk appraisal was right at $2.5 million. These are companies, smaller companies that are hired to do these desk appraisals. And the most important thing is that they never went out and did a full appraisal.