re: #104 wrenchwench

Is that the small, medium, or large disco version?

IIRC it’s the medium disco version because I remember a longer version going for 20 minutes.