Is there a requirement for garage door openers to be on a dedicated circuit? It is currently plugged into the light which means the power turns off and on with the light switch. Could be a pain if someone turns the light off and leaves. The remote wouldn’t work.
Also if you are really concerned with your client you can tell them according to standards today a GFCI serving the Garage Door Opener can easily be installed.