Quote:
BravoHD and Universal HD are the same thing, as far as I know.

Yes, indeed, they changed the name at some point, but it's the same thing.