Sorry, I had three thoughts in my head when I posted - I meant to
somehow convey the idea that if the GFCI was tripping like once in a
blue moon (once a year, technically), and the electrical work was done
by a licensed electrician, then personally I would not worry about it.
Problem is the OP would not know the answer so the whole line of
reasoning is basically unhelpful.

If the sucker's tripping once a month for example then that is not
good, the contractor needs to look at it.