For Windows 7, you do an extra step first. You go get the extra step on the driver download page.
After that you unzip the driver. I noticed when it unzips, it invokes the add new printer dialogue. I went in as a tcp printer and added the address of the laser which is currently 192.168.1.250.
Everything seemed to work.