I'm in contact with a few young Royal Mile attendees who are very distressed at the thought of no pub sing on July 3. They are college fellows who only are around during the summer and are just (more or less) getting into this. So is this set in stone? I did inform them that it was not to be but they are in denial. Denial is a strong defence- so fingers are crossed.