It is there under Manage Devices but not correct in subsequent configuration screens.
Soit is not there under Television | Setup, if the Country configured is "United States of America".
Selecting "Digital Cable or Satellite" there SHOULD have DVB-S as a possible option but it is not there. Only "Set Top box" "Clear QAM" or "CableCard" options show up.
Although if QAM or cablecard is selected the tuner IS listed, but a warning shows up that the tuner is configured for "DVB-S" and asks if I want to switch it to "QAM" or "Cablecard"
The DVB-S entries should show up worldwide no matter what country is selected since even though those tuners are mainly used in Europe and other areas other than the USA since it IS possible to receive the signals worldwide (even in the US)....
(Trying to get G19 in the USA [97.0W], a DVB-S/S2 satellite)