Hello Seamus,
Thank you for sharing the details,
As per the database, we are also not able to find the details of hosts which you have shared.
I have initiated a request with engineering to check as to why we are not able to see these hosts in inventory.
We should be able to share an update by next week.