It never worked from day 1. So 2 days ago at my 1,000 mile service, I had it checked out and turns out it's a major problem.
They had to order parts and said it's about a 5-6 hour job to fix it. Was rushing to leave, but they said something about having to drain the lines, etc. and it would take a while to fix it. I'll get the full explanation next week. Must have come from the factory like that
Most of my driving has been with the top off, so hasn't really been an issue, but will probably take it back to get fixed within a week or 2.