IDE problems uploading to Arduino Due

I’ve recently acquired an Arduino Due, and tried to upload a sketch to it. I got the following error:

avrdude: stk500_getsync(): not in sync: resp=0x00

Of course, I forgot to tell the IDE that I’d changed boards, so I go to tools->board-> … … Where is the Arduino Due?
So I update my Arduino environment, and even chase down a tutorial for beginners on getting link to work on the Arduino Due, but I run into the problem of board selection: “Under the ‘Tools > Boards’ menu select ‘Arduino Due (Programming port)’”… but it’s just not there!

What’s gone wrong, how can I fix this? Thanks in advance.

SOLVED:
For the record it appears that you must be running the Beta 1.5.2 Arduino IDE to use the Arduino Due. I happened to neglect the Beta when updating my IDE. I’d have thought with the release of the Arduino Due, it’s support wouldn’t be locked to a Beta release of the IDE, but that’s just how it is for now.

Sorry to pollute the board :wink: