I ended up taking AIS at the price offered at the link above last time it was offered.
For reasons I can't fully fathom, the US dollar price is usually a bargain compared to the currency of my home country (see below). I paid USD 69.99 using PayPal, opted to let my Bank do the currency exchange (which may not be the best option in every case) and the total bill was less than AUD 70.00.