How Rich is Alan Mruvka?