No, they had an administrator. I filed the appeal through HR, though, which was the recommended process at the time. Probably not the right process in retrospect, especially because I accepted the appeal denial at face value and just paid out of my own pocket.