Head gasket replacement?

Hey all -

I’m curious what you’d estimate for a head gasket replacement on a 2014 Impreza.

My local shop is quoting about $7k. Too much?

Thanks in advance!