The asking price is 6700$
I called service and spoke to them about the unit to get a better idea of what was going on with the water leak. He said that it was in the 'basement' under the bathroom and they had to remove the tail light to get in there and fix it. He offered to removed the tail light if I come in so that I could examine the area. He said that there was no water damage, but that they flush all their units to check for leaks and that is when they found the leak.
I also asked about the roof because I didn't not think that fiberglass rooves needed sealing. He said that they sealed around the vents, etc. He asked me to call if I had any more questions. Perhaps I will call and ask for the report of the repairs to be sent over so I can read it more thoroughly.
I did ask them to send the unit here so that I can inspect it. Thank you for letting me know the AC price was high. I may leave that for summer anyway - don't think we'll be needing it anytime soon. Perhaps by summer we'll be feeling handy.