Edinburgh Castle on an early October morn