I went all out and spent $105 on the alternator ( + tax). It is an Arrowhead Electric ADR-0316, aka DB Electrical 400-12299, aka Delco 8600612
In my previous adventures getting new distributors for my other boat, I came to realize that these components, which mostly come from China, are not...