It’s really a personal choice at the end of the day, how much you value the ability to monitor each panel and the ability to optimise the power curve of each panel. Then there’s a whole big debate about micro inverters vs power optimisers. There’s a thread on it here:
So quote 4 went from $10k to $7k? That would concern me.
The others seem well priced with quality gear (as always, most important thing is the installer reviews). The big decision is probably whether you want that panel level optimisation or not. Then you can focus on the specific products.