you should try to find one that lets you control the output pages it generates and preferably one that actually does generate html pages rather than utilizing dynamic pages imho
this will allow you to change the file extensions to suit what is currently en vogue with google at the time
you can probably find some good scripts to do this over on
www.hotscripts.com
i recall seeing one a few months agao i think it was from a company called focal media if that is any help
