Well, There is an Inter 17 already here, and when you say in Australia, it is a big country and I live about 1700klms away from the nearest manufacturer (Nacra). The guys from Nacra are great and come up here 3-4 times per year due to the F18 fleet.
I can appreciate the 4.9 suggestions, but they are all down south, and I can't fault the back up service from Nacra that everyone up here gets.
I have spoken to Nacra about a F17 import, they can even put wings on them here, but they have some great stuff in the pipeline that I'm waiting to see.
I see the F17 second hand goes around 10-12K US. a Brand new one is about $22K AUS delivered. I have never sailed a boat that can be pushed as hard as an F17, hence I'm willing to spend the cash to get one, and the wings are awesome.
Does anyone know how much they pay to get the gelteks from Aus to US?