In the midst of all this, I managed to learn Silent Lucidity, and I can play it in time even with the time signature changes at the start. Still making quite a few mistakes in the full performance, but it's great to be able to learn songs at the same time as theory and practice exercises. Big motivation.
Guitar Tricks is just immense. I wish it had been around 20 years ago when I was last trying to learn.
Regards,
Chris