Redonda 2009 5 dollars

This is listed as a fantasy world coin, but it is a world coin none the less, and listed in Krause as a country. So how do I add this country to the list? (by the way, the coin I have is a proof) (i will add pics when it arrives)

http://www.ngccoin.com/price-guide/world/redonda-500-x-7-2009-cuid-200716-duid-429455

It's listed in the Tokens section, look under Redonda.

Oh okay, I must not have had tokens option selected. I got no hits on Redonda, thanks!