I believe you nailed it.
If I remember right it seems Bob Barker was supposed to have donated $5 Mil to the society or the Andy Gil was donated, I had no idea, like you, that it was loaned by Gil.
I certainly believe the Ady Gil was worth $5MM. That was an awesome ship and being part of the pirates’ fleet was a tragic waste of a fine vessel. That baby could do, what, 80 knots on a smooth sea?