Picked up said lens on eBay for $1600 (for guideline price info). As new in box (even had the unused warranty card in it!).
Best wishes all.
Good for you! When you get it tell us how you like it.
That seems like a good price too - I wouldn't have sold mine for that!