How is the door configured? There are a huge number of different configuration options. We chose the manual Alaskan from Airlift. It was back in 1999 or so. Prices have gone up so what we paid is less relevant now 20 years later.Received a bid to install a new Airlift door for $15,500. Is that how much those things are going for? Wow!