The items you are interested in are pretty rare on the US market, let alone for export. Is ASTL 220v or 120v?
This might be of interest:
https://www.usaudiomart.com/details/649968145-krell-400xi-black/
Also check HIFISHARK as they list sales and availability globally.