Update: we got this bike back! It was for sale at the Laney College flea market yesterday. Our hero, Tom, had seen the bike on Bike Index, spotted it at the flea market, called us, and then waited with the bike while we came and picked it up.
Thank you Tom and Bike Index!