Cox's Orange Pippin is a good baking apple, as well. Holds its shape, and goes all custardy, rather than dissolving into mush.

It's not as good as a Bramley. Does anyone in the US grow those commercially? Why not?