A „Happy Days” csillag, Anson Williams válási fájlokat tartalmaz