[mikefeiman]

If it's only 10 pages you could always copy the html that the php generates in internet explorer and copy that into a new file and save it as an html page. Then just do a massive find and replace to rename the extension.