As I hinted at earlier, if I really wanted a PDF of it, I'd just print it from any browser on OS X to PDF. But you do have me looking at the PDF code for PHP, no promises though.