This is a nice collection of 2001 MS69 WTC coins, you would only need the $50 gold coin for a very nice MS69 set of WTC coins. The WTC 2001 $50 gold coin would probably set you back another $5000-$6000 but still.
This set of 4 coins are up on Ebay for $3,950 and I think its a good price. Auction link
For anybody that does not have a $5 2001 MS69 WTC in their collection there is one on Ebay right now at a great price.
This hard to find 2001 WTC coins is up for sale now with a buy it now price of $590, normally you don't find the 2001 MS69 below $900 so it sounds like a great deal.
Here is the link to the auction Action link