Well I formatted it with panasonic sd fomatter v2.something and tried again (on a dsi) and with the files from the site it was still giving the menu? error It worked fine with the files from r4sdhc though but no update button
I will try again today with sd formatter v3.1 and with a DS and see...