I have become attentive about this thread to the marketplace AllCoin.com and wanted to buy TIPS there.
Now I had to find out that this marketplace is a scum. You are able to deposit Coins and trade, but no withdrawal is possible. And also support is not any more.
Also to late I saw the listing on badbitcoin.org.
Please extinguish AllCoin from the list of markets for TIPS. No more people should loose their coins there!!!