I was going to suggest the F16 as well. I think it would be perfect for what they are looking for - lightweight, versatile and with a spinnaker, but at this point there really isn't a second hand market to speak of. Brand new boats are available from Vectorworks though if you want to go that route (but you'll have to get in line behind me - just ordered mine last week ).

Mark.