I bought this (along with the 512k that he was advertising) a few weeks back, and you are correct about the lasermax card (there is a laser master init) and when it booted up, it really wanted to connect to its printer (there were still some prints in the queue).
Its a nice little IIx - caps still look ok, drives work, power supply is a little noisy (fan is dirty?) the batteries need to be replaced and of course it had that sweet, yet unusable card included.