Many thanks for that advice. I did see somewhere else on this forum that I should enter 'laptop' somewhere but it was not obvious how to do this. Anyhow, thanks to your advice, I see it should be entered as a bootcode and the FAQ explains to do this by pressing F2, F3 or F4 when the TinyCore boot menu comes up. If I try this, it says something like 'Type one of the following: plus core and any of the space separated options...', one of which is 'laptop'. But, if I then try to type anything at all it just drops back to the TinyCore boot menu. Hence, I am really, really stuck, sorry!