[Paddy (Patrick)]

This doesn't detract from the main point here, but I think Betelgeuse is bigger than Antares. Even though it's further away, it is the only star that Hubble can image as a disc rather than as a point source.