Exactly. And those people are usually complaining about a repair bill somewhere around $2000. Sure, expensive, but relative to the new value of a top model 7-series it's not crazy.
It's no comparison to paying 13k for battery repair on an entry level Tesla, that was only 40k new.
