Have been doing a search on your camera and it would seem that it is no longer in production as it does not appear on the manufaturers website and the only manual I can find is for the 3k model. Looking at that it would appear that after you insert the card and operate the camera it should start recording to the card without any formatting. You maynot be able to find a
driver for Windows 7 so you may find that your PC will not be able to recognise the camera,. This is no great worry, there are a couple of ways round this. When eventually you get something recorded to an SD card you can take the card out of the camera and use a card reader to transfer the video clips to your PC. If you haveen't got a built in card reader in your PC have a look to see if your printer takes a card so that you can print direct from the card? If it does you can use this sytem and it will show up as a removable drive in your system root.If all else fails you will need a card reader - the ones on a USB stick are very convenient and very cheap.
Try recording to the card and see what happens!