Dock dingy

Dock dingy is an old version of the auxiliary dock.