Is $3,200 to fix a pool leak behind the skimmer cover a fair price?

I am a new homeowner who moved in in June and quickly detected a leak in my 80,000 L pool, requiring me to fill it up every couple of days due to losing about an inch after each fill. A repairman identified the leak source behind the skimmer cover, stating it's a recurring issue from a previous, poorly done repair where the metal was cut too high, causing a gap. I'm questioning if this major project is necessary for what seems like an easy fix and if there are any DIY options to save money. I'm considering getting a second opinion. The pool liner is about 6-7 years old. The gasket was removed to check behind the liner and skimmer frame, and only one gasket was present.