im IWC-Forum bei Timezone werden "$7,500" genannt...