i just started reading the Shining. I'm at the part where they're at the doctor's office & the doctor made a comment to Jack and Wendy about "you know why Danny's friend is named Tony and not Mike or Hal right?" And they said they knew, should they tell him, etc. Not asking for spoilers, but just curious, do we find out why Danny's "friend" is named Tony?