Start with the 4000 midshipmen - you're down to 6,000 max of other people who drove.

I think that would be fine.