peebee,
A little confusion here. First, this is shipboard, so NEC doesn't apply.
After re-reading, you are right, OPs receptacles are for the charger. At first read I was thinking it is the battery connection receptacle. I am too accustomed to hard wired chagers and battery banks.
My space with the permanent battery bank doesn't have any receptacles. The spaces with the receptacles are very large cargo holds, where non-commercial vehicles are loaded and stored, with fuel in their tanks. When the hold is environmentally sealed up,it is treated as class 1 div 2 group D, due to possible fuel leaks and vented tank caps. When all our vent systems are turned on (a couple thousand kW), it isn't classified. So if the crew needs to work on the vehicles,and needs a receptacle, they can fire up all the fans to energize the receptacles. We did need to work with Regulatory Bodies to get approval. It was difficult to get that approval, but I understand may not even be possible in NEC etc world.