How Rich is Ernie Boch Jr?