I was able to do a manual withdraw of my 500+ fedora coins about a month ago.