Arduino-based HDMI switch with token acceptor and web-based override.