It's a standard Samsung 5350 from Costco. 1080p TV.
this was the thread they referenced:
http://www.thegreenbutton.tv/forums/viewtopic.php?f=7&p=19828
this was the thread they referenced:
http://www.thegreenbutton.tv/forums/viewtopic.php?f=7&p=19828