How to handle crank-up dock when selling

[MRJS]

We are in the process of selling our lake house. Our crank-up dock is a little more heavy-duty and complex than the average. Because there is a learning curve and nuances, it's our preference the new owners go through a professional dock company rather than raising and lowering it themselves.

Does anybody have any insight on how to handle this contractually and practically?

Much thanks and we're going to miss the lake very much!