Thanks for this, glad the files are available now. I went ahead and paid the $35, well worth it, to get the update plus access to the technical documents.
Were you able to download the full service manual? I don't see an option for that, just one with clickable sections. I guess they don't let you download a full PDF of that.