Not sure what the skill levels are.
Find a little more money and get an older Taipan 4.9 (mine was $1,500NZD and an artwork I had laying around) and don't worry about all of the Spinny kit of F16.
None of the other boats are remotely comparable. Faster, easier to right and tougher and hugely trim-able with one/two sail option and then strong gear ratios.
My Nacra 14sq has been a great ride and was only $2,500 NZD in excellent order.