[robomartin]

I don't think there's any point in posting it publicly. Particularly several years past the event. Tell me why you want the name. If it makes sense I'll certainly provide it privately along with further details if necessary.