The sensors are simple switches, I believe, that close or open at the extremes of travel. I THINK you can figure it out from what is in the manual.

Reading thru it and putting the top up and down manually, I think you can figure out what is going on in a reasonable amount of time. THe first thing I'd do is get into the wheel well where the pump is and look at the Top Control Module - water leaks can cause things to get WET back there.