I think they are not separating marinas from boat launches. Many people think of a marina as 100s of boats all parked close together and people using them as cottages, living close to one another bbqing on the dock beside everyone else and that isn’t good at this time
but a boat ramp. Boat in and out not close contact should be good to go