Yes nutstash and default mint. Somebody figured it out and redeemed it. Was my first time using it after hearing Tech Tuesday podcast with #[8]

So the mint url should be part of the token I understand. If I can help with any details let me know...