We used the repair kit suggested by Zracer here:

) and the ac is working fine. If anything it is colder than it was before it failed.

thank you, all!