They've now put this on their ebay store, so cheaper than the previous deal:
https://www.ebay.com.au/itm/394967268959 $820.87
The Intel version is still available:
https://www.ebay.com.au/itm/404828418133 $895.57
CPU comparison between the two (not much in it):
https://nanoreview.net/en/cpu-compare/intel-core-i5-1335u-vs…
Will Intel be better?