I also did this lab and just as the first poster stated there is no Router-ID command.
note I tested this on the newest cisco VIRL IOS that I have imported into GNS3 and I also tested on the 7200 model. So neither of the routers can use this command. this means it must be something legacy or a typo. also the 7200 gns3 image is quite a bit older than the newer cisco VIRL image that both did not work says this has probably not been an option for a while.
===================================EDITED==================================================
I did go back and just type it in though and it worked… so it cannot use the help command but If you type it in that seems to take.
see below: