牛腱子肉是很多人喜欢的一种肉类食材，它的肉质细嫩、口感鲜美，非常适合用来制作红烧肉。而在厨房里，高压锅则是一种非常实用的工具，可以大大缩短烹饪时间，同时还能保留食材的营养成分和口感。那么，牛腱子肉做红烧肉用高压锅需要多久呢？

首先，我们需要准备好牛腱子肉和其他调料。将牛腱子肉切成块状，然后将其用开水焯水一下，去除血水和杂质。然后把焯过水的牛肉块放入高压锅中，加入适量的调料，如生姜、葱、八角、桂皮、料酒、酱油、冰糖等，根据个人口味适量增减。接着，加入足够的水，注意不要超过高压锅的最大水位线。然后将高压锅盖盖紧，并将压力阀调至“压力”位置。

接下来，打开火源，等待高压锅内的水烧开，同时压力阀会自动升起，表示高压锅内的压力已经达到了设定值。这时候，可以调小火力，保持高压锅内的压力不变，开始计时。一般来说，牛腱子肉做红烧肉用高压锅烹饪的时间大约在25-30分钟左右，具体时间还需要根据牛肉的大小和硬度来确定。如果牛肉块比较大或者比较老，可以适当延长烹饪时间。

等到烹饪时间结束后，可以用减压阀将高压锅内的压力释放掉，然后打开锅盖，取出烹饪好的牛腱子肉。此时，牛肉已经完全入味，肉质鲜嫩，非常美味。可以根据个人喜好，加入适量的葱花和香菜等配菜，让红烧牛肉更加诱人。

总之，牛腱子肉做红烧肉用高压锅烹饪的时间大约在25-30分钟左右，具体时间还需要根据牛肉的大小和硬度来确定。使用高压锅可以大大缩短烹饪时间，同时还能保留食材的营养成分和口感，非常方便实用。