Correct. No longer available. I believe they ran the last of the stock out, end of 2019.
Really disappointing, it cut out a great cheaper option to the 5000.
There seem to be a couple of "new" ones, that are now being sold at premium prices on Ebay.
Not that I would trust them to be genuine.