I like the 15" f5 @$3000 US !!! But customs is the killer and a real deterrant.
My only concern would be shipping and any damage in transit, but if insurance covers that it might not be an issue.
Hmmm how can I justify that 15" with the other 1/2

Go the 17.5 - you only live once and its only money!!!