Is the Edinburgh school holiday week the w/c 17th October? We're thinking of coming through from The Other Side for a day out during the hols, but not sure if all the museums are going to be rammed. TIA.