different shops use different equipment, the foot pedal is just a different brand/model. the one we have is a hand held button.
also the damage may not have been severe enough to require the time to set up the frame machine on your buddies car, hard to say without being there, but it also might have been a smaller shop that couldn't afford the frame machine for as little frame work as they do (they aren't exactly cheap). but the high end shops have had pretty much the same machines for years, might have gotten a newer model or different brand, but the only advantage to the newer ones is they have better laser alignment systems, but they where using that 15 years ago too.