How Rich is Jude Walsh?