I believe you're correct, and the Half-Life wiki seems to support that: https://half-life.fandom.com/wiki/Black_Mesa_(game)