Replacing the charging port on my iPad Mini

I need to get the charging port on my iPad Mini replaced because it's loose/broken and can't charge up.

It's an old Mini 3 I've not used in a while so I don't know if they'll still have the part.

I was going to take it to one of those little computer repair shops to get fixed.

Just wondering if anyone has a rough idea what it costs so I'll know how much they might ask for when I turn up.

Cheers