4200米高。
可以得出红海子的海拔高度为4200米。其中都提到了这个数字。同时，结果3中也给出了一个略微更高的数字，但是这个数字可能是指的周围地区的平均海拔高度，而不是红海子本身的海拔高度。因此，可以确定答案为：红海子海拔高度为4200米。
康定红海子位于四川省甘孜藏族自治州康定县境内，海拔约为4750米（15,580英尺）高。它是我国西南地区最大的高山湖泊之一，也是青藏高原上的著名旅游景点之一。
康定红海子周围环境幽静而美丽，湖水色，由于湖底沉积物富含矿物质，这是湖泊得名的原因。这个湖泊被陡峭的群山环绕着，雪山、草地和森林辽阔地分布在周围。来到这里可以欣赏到壮丽的自然风光，包括湖泊倒影和远处的雪山，给人一种宁静和宏伟的感觉。
除了湖泊本身外，康定红海子周边还有许多点和活动可供游客参观和体验。其中包括前进镇、金顶寺、牛背山、迷失圣地等著名景点，以及徒步旅游、露营、摄影等户外活动。
不过需要注意的是，由于康定红海子位于高海拔地区，因此气候寒冷且多变，游客前往时应做好防寒和适应高原环境的准备。同时还需要关注当地的旅游和注意保护环境，不破坏自然生态。
