I suspect you are correct and that the shop removed it when installing your shocks. The likelihood of someone stealing the divider is astronomical. Needless-to-say, the top should operate if the micro-switch in the left side bracket holder is taped or in some other way held in the closed position. Peak your head in the trunk and look on the left, locate the divider holder and you will see the small micro-switch.