Bottle brush tree?

We couldn't find a label on this tree, so we have to call it bottle brush until we hear differently. We were enjoying a pop in the hotel back yard when we spotted something new: these new red bursts coming off the tips of this tree. Golly. Can't wait to ask Hai. Hope he kept the label.

Later that evening:

Yup. Hai says it is a bottle brush tree.