It's not an actively used drydock but has that historic status, along with most installations on this island, so I would say this label is correct.

I'm don't know if this is a public marina or possibly used by business only. In the latter case I probably would not mark it a marina. Does anyone else have more info on this?