E60 M5, Anyone seen any at Auction?

[finmac]

I have owned 3 x M3's and an E39 M5 over the years, however have not even driven the E60 M5 yet because they have looked too expensive. However with the recent drop in prices (and the porsche warranty nonsense) they are coming onto my radar.

Wondered what price they are really making "in the trade". Anyone seen one at auction yet? If so what age, miles and price did it do please?