We have three mobile 43inch TCL 4K Android TVs on black wheeled stands. They have HDMI cables but can also get on the Internet and use any standard Android 'casting software from your laptop.
(name): 310androidTV1 (Wifi Mac address): 64:e0:03:ab:a7:c9 (Ethernet Mac address): d8:14:df:32:e6:4b
(name): 310androidTV2 (Wifi Mac address): 64:e0:03:ac:30:0f (Ethernet Mac address): d8:14:df:32:9a:bb
(name): 310androidTV3 (Wifi Mac address): 28:ad:18:b0:85:68 (Ethernet Mac address): d8:14:df:31:fd:48
9May2021 - Per George Toye they are now on the SU Net with Android TV casting and Google Duo video functionality.
To use with Chromecasting
Turn on TV and make sure it's on the Stanford (not Stanford visitor) network in settings/wifi
If you are using Google Chrome you should be able to cast to it (click on the 3 dots at upper right of your Chrome window for a pull-down menu).
This defaults to casting only your current Chrome window. You can stop casting, select source to be the entire desktop (might need to change permissions on your laptop) and then restart casting