Maybe since you do IT support, you can help them:
https://www.groovypost.com/howto/migrate-virtual-box-vms-windows-10-hyper-v/
Alas, my work is almost entirely with VMware (ESXi, Enterprise, Workstation), and I haven't had occasion to work with HyperV, so I'm not a good resource there. I'll check the link you sent, in any case.