Back pocket ................. $4K for a repair does that to you and reienforced by the lack of a response from the Company and local Dealer for a unit that was just over 5 years old (by a few weeks) that had a major melt down (2 x PCB's, 1 x Compressor, 1 x Fan Assy and Re-gasing) so not good for a system that cost +$10K to install.
Sounds like you're talking about a ducted system if you're referring to a 10k install. The split systems only cost $800 to a couple of grand (depending on room size).