Could be alternator but I would get them to hold off and perform the RCM fix first and see if this corrects the problem. Hopefully save some $$.
I would never pay that kind of $$ for an Alt replacement.
Good luck.