I did format my 1GB RS-MMC card on my 770 from Windows... When your 800 is plugged into computer using USB cable you see it as a removable disk drive. Then you can select it and format... If it is a bigger card make sure you format it with FAT32.

Let me know if that works for you.