I mean that was more of a faff than I hoped, but it does mean the Optiplex i5-10500T that came from eBay as "broken with damaged front USB port" is significantly less incapable of booting now...