I’ve been dreaming of a mini ex. Our JD dealer has some in the lot occasionally from the rental fleet. Think one was a —15 and one was a —35. The 15 was tiny but I figure I could still do a lot with it. The 35 looks like a perfect size.