Congrats, Mike, and hope you were able to get a house with some built-ins and other goodies that are common in 92104!