We have an Andonstar AD246S-M HDMI Digital Microscope - it has a 7“ LCD screen, can record in 2160P UHD video and has HDMI out. It's generally located on the work table next to the 3D printer.
There are multiple lenses available (in the mini drawer marked 'digital microscope') that let you change the zoom factor from 10x to 1000x.
The manual is available here: 246-m_249-m_metal_stand-users_manualmetal.pdf