こんにちは！通りすがりのものです（本当は隠れてよく拝見させていただいてます）

私は迷った挙句、ETX-125ATを個人輸入しました。一部まだ届いていないけど（税関待ちです）、いろいろオプションを付けて送料込みで２０万円以下で購入できました。

海外からの直接購入はできないので転送サービスを利用します。
ドル建てで下記金額でしたが、今より少し円高だったので日本円で20万円弱で購入できました。

ETX-125AT(UHTC) ＋ tripod#884 + autostar#497 $1049.95
LPI $149.95
電動フォーカサー　$119.95
バローレンズ　$49.95
フード $29.95
転送会社までの送料 $155.00
転送会社手数料＋日本までの送料 $274.23

他に関税（未確定ですがたぶん通関料込みで1000円程度だと思ってます）もかかります。

転送会社をアメリカ本土の会社にすればもっと安く購入可能だと思います。（本土内ならお店によっては転送会社までの送料が無料です。私はお願いしていたところがハワイの会社だったので送料が掛かっています。（親切なお店なので満足してます。キャンペーンの接眼レンズセットの申し込みもこちらでしていただいたので$649.60を送料手数料込みで$157.35で購入できました。）カリフォルニア州は消費税が掛かるので避けてください。手間は掛かりますが国内より安価に揃えられますよ。すべて英語になること、配送のトラブルの可能性があること、ミックさんのサポートが受けられない？ことでリスクを考えると絶対お勧めというのではないけれど。。。あくまでご参考ってことで紹介させていただきました。
（＾＾；