> I have no idea to what extent they still work together today

They just got their own (unofficial) Lego set: https://x.com/JeffDean/status/2006581022666928415