How Rich is Trey Anastasio?