Has anyone serviced the condenser since we took over the shop?