[blendergeek]

You mostly remember correctly. One small nitpicko on the genetics (based on my high school biology)

A can be either AA or AO and B can be either BB or BO.

AB is always AB like you said and O is always OO.