Yeah it took some doing on the part of IT. It was only possible using a separate drive and special settings on their part. That way it could be fully managed, but still allow for the dual boot.

Alas the AMD can’t be disabled and the Nvidia card can’t do display output. It’s one of those RTX Pro things that are purely used for compute, not driving a display.