Check this one out. Two frets shorter than the normal neck length, weight 4lb. Gold Tone instruments are well made for the price, with fairly predictable properties. I'm sure Gold Tone would provide a shorter neck for any of their standard banjos, with a little negotiation.   
The older instruments that have been recommended can be great, but are not for players who don't yet know much about banjos, often needing a lot of setting up to make them playable, and you'd need to have one in your mitts before being convinced that it's worth the money.
Dan's a great teacher - I bet you had a great time.
Ray