The "friend" who pays $12k for a service above should try somewhere else. $3.5 for my last cirrus service and that included diagnosing a small issue with bluetooth connectivity and aircon.
Love the Cirrus. Comfortabe safe travel once i mastered the g1000.