I highly recommend ditching the class 4 micro SD and purchasing a class 10 4GB to get more stability.
Does a 8GB micro SD work as well ? (That's the smallest I can get at my local store).
And is it just a matter of stopping the Titan, exchanging the SD card, and restarting it again? Or is there more to it?