I think it'd be more than that..
cause you've got FOB charges.. (agents fees)
Shipping is a few k.
and also, once it's landed, will cost between 1-2k to be on the road. You've got all that admin and customs charges too
realistically, you are looking at about 9-10k I reckon... But I could be wrong..