Great idea, thanks!
Only the 'Main' switches are managed, the 'Private' switch in the workplace is unmanaged, unfortunately.
Could possibly swap it out for a managed version, or add a small managed switch between them.
Another option could be to pull another dedicated cable for just the HDMI...