It was 5832 Caminito Empresa. Auctioned off in April 07 to a private party that is currently flipping it. It just went pending this past week and is listed in the $799k-$850K range.
I was at the auction on Broadway downtown but wasn’t sure how the process worked as I had just found out about it late the night before. Wasn’t going to risk approx. $650k without knowing all details. Would have liked to live in that house at that price for the next 10+ years, but other opportunities will come around.