Thomassen’s 5-Choosability Theorem Extends to Many Faces