Walking off a nice lunch at Gloucester Docks, we passed the maintenance area, where there are usually a few boats being repaired. Yesterday, the dry docks were empty, awaiting new customers.