Mike Tomlinson gurgled happily, sounding much like
they were saying:

Thought he had a "proper" LJ5? The 5P was very different - much smaller.

Thanks for looking out. Jim said in his OP:

My folks have a Laserjet 5P

Ah. Missed that - I was going by the header...