Lean κυκλοφόρησε στις 30 Μαΐου 2025 από 9096490 Records DK ως μέρος του άλμπουμ Mars - EP