It’s actually a little worse than that. Both houses sold new within a couple months of each other and Camino San Thomas actually sold for $40,000 more when new. So it’s reasonable to assume it is worth a little more than Sienna Ridge.
Don’t feel bad for the Sienna Ridge buyer. She put 23% down and will be fine. worst case scenario, she can save some on commissions if she has to sell as she’s a Realtor.;)