Interesting point about BB(n)... Is it known that BB(n) is finite for every n?

I believe it is by definition? The machines that don’t halt are filtered out. The trouble is how to do the filtering.

Yes BB(n) is always a natural number which is by definition finite.