I can only assume that because of the 'A1200HD/40' name they thought it contained a 68040 accelerator card? Even then it's hellish expensive.
Not sure I have seen many A1200HD/40s on my travels... More rare I would think than an Amiga 1200 with a 68040 accelerator card. Can't recall how much I paid for mine but I had been looking for ages, and really needed them. Saying that, from checking the info on the auction, doesn`t look much like a collector frenzy. More like a hook, line and copy of the Angling Times.... kind of activity.
Images of my 040's. Plus the card they both came with, and the sexy cover.
http://www.commodore-amiga-retro.com/amiga/amiga_scuzz278.htmSo what is Aus dollar to pound, like 10 dollars to the pound.
scuzz
http://www.commodore-amiga-retro.com