How to locate the model number for TCL Roku TV?

Greetings. I am attempting to download Roku firmware via USB to an unresponsive TCL 55S41R television. I am unable to locate the Roku model information because the set is locked on the boot screen.  ...