I thought it was from 9000 avios for a round trip? And that price is only available when the cheapest cash tickets were still on sale?

You need to ring up (to an expensive number) to book, or even to get a price, so I've not yet been inclined to try to work out if there's a simple multiplier being applied to turn the cash price into avios, but I have a feeling there might be...