3/19/25: Dave has been adopted.