Hi
it's the 17 inch. Those aren't the service manuals, I need to take the thing apart and fix it. It was working well enough for me to want to fix it, but it's not worth paying an engineer to fix, it's getting on a bit. Just want a bit of reassurance from the manual before I b low myself up!