OK. We are all making this overcomplicated!
Turn on the TV with the TV button.
Press Menu to bring up the TV Setup page.
Scroll down to Options.
Click, and next page is headed Options.... Select Connections
In my case the next page shows V Tape assigned to V Tape, and AV asigned to STB. (You may have to play around to get STB to appear). Select the STB, you will get a Settings Stored page, and then the list of STBs already loaded into your TV will come up. In my case it is Force11455/895, Sun Moon Star, Casema Selector, Panasonic TU-CT20, Strong Sat 5200, Teleclub, Vistar 3000 HKG, GI500, but no doubt the STB's already loaded will depend on what the original dealer put on if there wasn't a factory default selection.
So you don't need the service menu to find the STB list (assuming the module is in the TV).
Graham