the model I buy ends up working I’ll need many more units.
I see. In that case I would recommend you to download the HCL repo which contains all the reports in YML format and filter type=laptop, qubes=R4.0*, usb>1, works=yes (I don’t know how to do this with existing tools and would personally simply write a quick and dirty parser that does that. That would likely take less time than researching existing tools. YMMV)
That should give you a manageable list of computers to screen through whether they are still available to be purchased in bulk.
I suspect that whatever remains will be a quite short list. Each report has the name or alias of the reporter. You could then use the forum or mailing list to try and get in contact with folks owning these remaining machines in case you have any open question.
Please, if you end up doing the above work … share the result in the forum – it would be extremely helpful!