Thanks, everyone, for the advice.
Good news: the replacement drive arrived and works well. It's a later model, 50-pin but half-height, not Apple-branded, and it came with 7.5 already on it. It boots fine. Yay; its thinner body will allow more air circulation inside the chassis. The full-height...