nostr:npub12r6k76kd5n4kgrx7ckwlqla5658qpma4q42a7wv0gtj8yavhlfgsz4zlyj oh that wouldn't really surprise me if lead mini were still available at the time indeed