Backstory: Dryer vent was clogged. Snaked and shopvacced.
Guess: When it was clogged, something got too hot.
Error code: F31
I saw that there was a repair mainual for the 6000 series of dryers back in 2011, but you hadn't been able to then find the manual for the 7x00 series. Have you...