I’m taking my 7yo to HMS Belfast once it reopens. I’d like to take him to the Imperial War Museum after that but obviously both need timed tickets. I can’t find a proper answer on how long to allow for HMS Belfast.