COOLENT could be leaking from WP; if it is a WP related problem,
New OEM WP plus OEM coolant could cost > $120 or $150, so the price you paid seems to be reasonable (or even less to me, but I am guessing here because don’t know what car you have) if they really replaced the WP and flushed the system.