This fully functioning, Roku Smart TV retails for around $400.
Easy Voice Control: Works with Amazon Alexa or Google Assistant to help you find movie titles, launch or change channels, even switch inputs, using just your voice. Also available through the Roku mobile app
Striking 4K UHD picture performance with HDR technology
Simple, intuitive Roku interface allows seamless access to over 500,000 movies and TV episodes
4K Creative Pro Upscaling allows you to view your favorite HD content in near 4K quality
Inputs: 3 HDMI 2.0 with HDCP 2.2 (one with HDMI ARC), 1 USB (media player), RF, Composite, Headphone Jack, Optical Audio Out, Ethernet.

Pick up on Stanford's campus. (The TV stand costs an extra $50.)